Scenario-Based Compositional Statistical Model Checking for Safety Specifications

cs.LO, cs.AI, cs.RO, cs.SE, cs.SY, eess.SY

Submitted: 2026-10-04

Updated: 2026-10-04

Comments: 24 pages, 8 figures, 5 tables. Extended version of paper accepted to The 26th International Conference on Runtime Verification (RV 2026)

Code: https://github.com/abhip02/VerifAI

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Sources

• ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems

Related papers

• Formalizing Flag Algebras in Lean
• An Information-Flow Perspective on Explainability Requirements: Specification and Verification
• A programming language combining quantum and classical control
• Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
• ADVENT: LLM-Driven Automatic Predicate Invention for ILP
• Encoder-Decoder Transformers: Logical Characterizations and Periodicity