Library

Subject
Tags

3,063 matches · Formal Methods in Verification

#
001Minimal Determining Support under Full Mixing Closure (KA Constitutional Revision Notes IV)OpenAlexPaperKarimov Hikmat5 days ago
002Minimal Determining Support under Full Mixing Closure (KA Constitutional Revision Notes IV)OpenAlexPaperKarimov Hikmat5 days ago
003The Δ = 0 Seepage Protocol, Version 2.2 — A Two-Channel Fixture for Detecting Exact-Zero Assumptions in Tolerance-Band ReasoningOpenAlexPaperAnderson leveille5 days ago
004The Δ = 0 Seepage Protocol, Version 2.2 — A Two-Channel Fixture for Detecting Exact-Zero Assumptions in Tolerance-Band ReasoningOpenAlexPaperAnderson leveille5 days ago
005Arborist: Algorithm-Hardware Co-Design for Fast and Efficient Motion Planning - Artifact Evaluation PackageOpenAlexPaperYaotian Liu, L L Huang et al.7 days ago
006Arborist: Algorithm-Hardware Co-Design for Fast and Efficient Motion Planning - Artifact Evaluation PackageOpenAlexPaperYaotian Liu, L L Huang et al.7 days ago
007Runtime Invariant SupervisionOpenAlexPaperYashvi Patel7 days ago
008Statistical model checking for rule-based models in the Kappa languageOpenAlexPaperAlbin Salazar, Jérôme Feret et al.7 days ago
009"The Δ = 0 Seepage Protocol, Version 2.1 — A Two-Channel Fixture for Detecting Exact-Zero Assumptions in Tolerance-Band Reasoning"OpenAlexPaperAnderson leveilleJul 22
010Information Propagation and Contraction in Functional InterpretationsOpenAlexPaperC XuJul 22
011Towards Relating Ciao Assertions and LPTP TheoremsOpenAlexPaperMarco Pérez, Pedro López-García et al.Jul 22
012Ultrametric Convergence of Guarded Automata and Applications to Structural Input ValidationOpenAlexPaperAtanas Ilchev, Hristo Kiskinov et al.Jul 21
013ZTL — Zero-Trust LogicOpenAlexPaperVitaliy ReznikJul 21
014ZTL — Zero-Trust LogicOpenAlexPaperVitaliy ReznikJul 21
015A two-phased robust safety control framework integrating path planning and control barrier functions for autonomous robotsOpenAlexPaperJunming Ren, Lihan Chen et al.Jul 20
016Kernel-Based Learning of Safety BarriersOpenAlexPaperOliver Schön, Zhengang Zhong et al.Jul 20
017Pay Only for Disagreement: Certified No-Regression Verdicts for Model Updates with Matching Label-Complexity BoundsOpenAlexPaperVISHNU BINDU BALACHANDRANJul 20
018Pay Only for Disagreement: Certified No-Regression Verdicts for Model Updates with Matching Label-Complexity BoundsOpenAlexPaperVISHNU BINDU BALACHANDRANJul 20
019Some prospects for semiproducts and products of modal logicsOpenAlexPaperValentin Shehtman, Dmitry ShkatovJul 20
020Towards Relating Ciao Assertions and LPTP TheoremsOpenAlexPaperMarco Pérez, Pedro López-García et al.Jul 20
021Inference-Behaviour Semantics for All$^\ast$ Connectives in Two-Dimensional Sequent CalculiOpenAlexPaperSophie NaglerJul 19
022ZTL — Zero-Trust LogicOpenAlexPaperVitaliy ReznikJul 19
023Collusion Relations and their Applications to Balance TheoryOpenAlexPaperJean-Baptiste Joinet, Carlos OlarteJul 18
024Finite-Budget Epistemic Search under Bounded ObservationOpenAlexPaperFabrizio De PalmaJul 18
025Finite-Budget Epistemic Search under Bounded ObservationOpenAlexPaperFabrizio De PalmaJul 18
026The Physics of Abstraction — Identity at the Seam: Phase Binding, Hidden Lineage, and Exact Persistence through Finite DriftOpenAlexPaperMaksim BarziankouJul 18
027History-Dependent Recursive Preferences in Markov Decision ProcessesOpenAlexPaperWilliam B. HaskellJul 17
028MatricesOpenAlexPaperShawn StandeferJul 17
029Proof Protocol Specification Suite — ProofTwin, AgenTwin, and PP-MCP Interface Standard (PP-SPEC-015 through PP-SPEC-017)OpenAlexPaperCraig EllrodJul 17
030Proof Protocol Specification Suite — ProofTwin, AgenTwin, and PP-MCP Interface Standard (PP-SPEC-015 through PP-SPEC-017)OpenAlexPaperCraig EllrodJul 17
031Runtime Monitoring for NN-Controlled Linear SystemsOpenAlexPaperJianglin LanJul 17
032Semantics for the minimal well-determined logicOpenAlexPaperIgor Gorbunov, Mikhail RybakovJul 17
033Decision-Environment Constraint Dynamics: A Formal SpecificationOpenAlexPaperJohn Paul MaratJul 16
034Markov Cell ProcessesOpenAlexPaperДонатас СургайлисJul 16
035Trisduction System Role: The Kinetic Preloader and the RAM-Founded Computational KernelOpenAlexPaperMohammad IslamJul 16
036Trisduction System Role: The Kinetic Preloader and the RAM-Founded Computational KernelOpenAlexPaperMohammad IslamJul 16
037Breaking the Loop: A Hierarchical Dual-System Action Transformer with Latent World Models and Formal VerificationOpenAlexPaperLuigi UsaiJul 15
038Breaking the Loop: A Hierarchical Dual-System Action Transformer with Latent World Models and Formal VerificationOpenAlexPaperLuigi UsaiJul 15
039Exact Decomposition of Adversarial Dual-Objective Value Functions, with Applications to Optimal Drug DosingOpenAlexPaperDylan Hirsch, William Sharpless et al.Jul 15
040The Anti-Drift Cognitive Control Loop (ADCCL): A Geometric Foundation for Hallucination-Free Autonomous ReasoningOpenAlexPaperRyan W. YettJul 15
041Cover Semantics for Intuitionistic ModalitiesOpenAlexPaperNachiappan ValliappanJul 13
042PACE: A Performance-Adaptive Calibratable Engine for Interpretable, Real-Time Difficulty Decision-Making — Code and Reproducibility PackageOpenAlexPaperArar Al TawilJul 12
043PACE: A Performance-Adaptive Calibratable Engine for Interpretable, Real-Time Difficulty Decision-Making — Code and Reproducibility PackageOpenAlexPaperArar Al TawilJul 12
044ZTL — Zero-Trust LogicOpenAlexPaperVitaly ReznikJul 12
045ZTL — Zero-Trust LogicOpenAlexPaperVitaliy ReznikJul 12
046Bounded Gödelian Language Models: Proof-Carrying, Survival-Satisficing Evolutionary Self-AdaptationOpenAlexPaperAlfredo Sepulveda-JimenezJul 11
047Bounded Gödelian Language Models: Proof-Carrying, Survival-Satisficing Evolutionary Self-AdaptationOpenAlexPaperAlfredo Sepulveda-JimenezJul 11
048TAGC — On the Deductive Scope of the Inevitability Theorem for the Constitutional Graph G_16: A Logical Audit of the Foundational ProofOpenAlexPaperAlejandro DiazJul 11
049The First Mathematical Operation : Reflexive Participation, Role Separation, and the Genesis of Executable StructureOpenAlexPaperHemu BharadwajJul 11
050The First Mathematical Operation : Reflexive Participation, Role Separation, and the Genesis of Executable StructureOpenAlexPaperHemu BharadwajJul 11
051CCS: A Formal Framework for Runtime Verification of Agentic AI SystemsOpenAlexPaperCorrectover Research GroupJul 9
052LAP: Simple Command-line Tools for Teaching Logic, Algorithms, and Proof in Computer ScienceOpenAlexPaperStephen F. Siegel, Yuxin ZhouJul 9
053Eidolon Codex: A Recursive Identity Framework for Stateless AI SystemsOpenAlexPaperAmber AnsonJul 8
054Part I: A Logic of Tripotent Stabilization OperatorsOpenAlexPaperVIACHESLAV SERZHANTOVJul 8
055Part I: A Logic of Tripotent Stabilization OperatorsOpenAlexPaperVIACHESLAV SERZHANTOVJul 8
056Improved subexponential analysis of the Random-Action-Removal algorithm for 2-player turn-based games and non-binary AUSOsOpenAlexPaperUri ZwickJul 7
057On Tackling Complex Tasks with Reward Machines and Signal Temporal LogicsOpenAlexPaperAna María Gómez Ruiz, Thao Dang et al.Jul 7
058Priorian temporal logics of trees I: axiomatizing logics of some classes of non-discrete treesOpenAlexPaperWillem Conradie, Chantel Marais et al.Jul 7
059Linguistic Redundancy Computational Representation and Processing: Systematic Literature Review - DataOpenAlexPaperJoão Pedro Holanda, Régis Pires Magalhães et al.Jul 6
060Linguistic Redundancy Computational Representation and Processing: Systematic Literature Review - DataOpenAlexPaperJoão Pedro Holanda, Régis Pires Magalhães et al.Jul 6

Showing 60 of 3,063 documents · scroll for more