Probabilistic Model Checking

Follow this topic Ask about this topic

Momentum

2 papers in the last four weeks, against 2 the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28

Latest papers 25

All topics

Scenario-Based Compositional Statistical Model Checking for Safety Specifications
Oct 4, 2026Abhinav Pomalapally, Arya Raeesi, Kevin Kai-Chun Chang +2Probabilistic Model Checking Probabilistic Safety
University of California, Berkeley, USA
MCRL2: Multi-resource Cross-attention-based Representation Learning-augmented Reinforcement Learning for Cloud Microservice Scheduling
Sep 14, 2026Tiangang Li, Shi Ying, Xiangbo Tian +2Schedulers Schedule
School of Computer Science, Wuhan University, Wuhan 430072, China · School of Computer Science, Beijing University of Posts and Telecommunications, Beijing 100876, China
Probabilistic Model Checking of Autoregressive Neural Sequence Models
Sep 1, 2026Helge Spieker, Dennis Gross, Arnaud GotliebProbabilistic Model Checking Probabilistic Model
Simula Research Laboratory, Oslo, Norway
Automated Testing of LLM-Based Post Hoc Explainers Using Model Checking as an Oracle
Aug 31, 2026Dennis Gross, Helge SpiekerProbabilistic Model Checking Explainable AI Methods
Institut für Kommunikations- und Prüfungsforschung gGmbH · Simula Research Laboratory, Oslo, Norway
LACE: Large Language Model Aided Multi-Agent Framework for Agile RISC-V Instruction Extension
Aug 3, 2026Pingqing Zheng, Jiayin Qin, Fuqi Zhang +5Risc-V Hierarchical Register Transfer Level Generation
University of Minnesota, Twin Cities, Minneapolis, Minnesota, USA · Columbia University, New York City, New York, USA · Northwestern University, Evanston, Illinois, USA
Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains (Extended Version)
Aug 1, 2026Jianlin Li, Nick Guo, Peter Ye +1Probabilistic Model Checking Markov
David R. Cheriton School of Computer Science University of Waterloo, Canada
Specula: Scaling formal specifications for autonomous model checking of system code
Jul 28, 2026Qian Cheng, Saad Mohammad Rafid Pial, Ruize Tang +6Probabilistic Model Checking Self-Speculative
Nanjing University Nanjing, China · University of Illinois Urbana-Champaign, IL, USA · Microsoft Research Asia Beijing, China +1
TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA Specification Generation
Jul 26, 2026Arslan Bisharat, Eric Spencer, Brian Ortiz +8Probabilistic Model Checking Natural Language
Loyola University Chicago Chicago, Illinois, USA
Animation, Verification and Visualisation of Prolog Transition Systems with ProB
Jul 23, 2026Jan Gruteser, Michael Leuschel, Katharina Engels +1Probabilistic Model Checking Theorem Proving
Heinrich Heine University Düsseldorf · Faculty of Mathematics and Natural Science, Institute of Computer Science, Heinrich Heine University Düsseldorf, Universitätsstr. 1, D-40225 Düsseldorf
Towards Agentic Agent-based Models: Feasibility, Performance, and Statistical Model Checking
Jul 20, 2026Stefano Blando, Emanuele Guerrazzi, Riccardo Porcedda +3Agent-Based Model Agentic
Sant’Anna School of Advanced Studies Pisa, Italy · University of Pisa, Italy · CentraleSupélec, Université Paris-Saclay, France +2
Translating Natural Language to Strategic Temporal Specifications via LLMs
Jun 29, 2026Marco Aruta, Francesco Improta, Vadim Malvone +2Multi-Agent Large Language Model Systems Natural Language
University of Naples Federico II, Naples, Italy · LTCI, Télécom Paris, Institut Polytechnique de Paris, Palaiseau, France · STIMicroelectronics, Grenoble, France
Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes
Jun 24, 2026Konstantin Kueffner, Tobias Meggendorfer, Maximilian Weininger +1Markov Decision Processes Probabilistic Model Checking
Institute of Science and Technology Austria, Klosterneuburg, Austria · Lancaster University Leipzig, Leipzig, Germany · Ruhr-University Bochum, Bochum, Germany +1
Maestro Order: A Model-Agnostic Orchestration Harness
Jun 22, 2026Hidayet AksuOrchestration Probabilistic Model Checking
ESBMC-GraphPLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking
Jun 17, 2026Pierre Dantas, Lucas Cordeiro, Waldir JuniorFormal Verification Probabilistic Model Checking
Computer Science, The University of Manchester Manchester, UK · Electrical Engineering, Federal University of Amazonas (UFAM) Manaus, AM, Brazil
SUP-MCRL: Subject-aware Unified Pseudo-feature Coded Multimodal Contrastive Representation Learning for EEG Visual Decoding
Jun 15, 2026Shengyu Gong, Weiming Zeng, Yueyang Li +4Electroencephalography Multimodal Contrastive Learning
Lab of Digital Image and Intelligent Computation, Shanghai Maritime University, Shanghai 201306, China · Department of Language Science and Technology, The Hong Kong Polytechnic University, Hung Hom, Kowloon, Hong Kong Special Administrative Region, China · Affiliated Lianyungang Hospital of Xuzhou Medical University, Lianyungang 222002, China
A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstractions
Jun 12, 2026Nikan Zandian Jazi, Elisabetta De Maria, Christopher LeturcSpiking Neural Networks Neural Network Verification
Université Côte d'Azur, CNRS, I3S, France
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
Jun 4, 2026Eric Spencer, Arslan Bisharat, Brian Ortiz +6Probabilistic Model Checking Invariant Synthesis
Department of Computer Science, Loyola University Chicago, Chicago, IL 60660, USA
Description-Code Inconsistency in Real-world MCP Servers: Measurement, Detection, and Security Implications
Jun 3, 2026Yutao Shi, Xiaohan Zhang, Xiangjing Zhang +5Model Context Protocol Program Analysis
Fudan University, China
ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
May 26, 2026Muhammad A. A. Pirzada, Weiqi Wang, Yiannis Charalambous +2Formal Verification Probabilistic Model Checking
The University of Manchester · Manchester, UK
Developing a Totally Unimodular Linear Program for Optimal Conformance Checking: When and Why It Complements A*
May 26, 2026Izack CohenProbabilistic Model Checking Linear Programming
aFaculty of Engineering, Bar-Ilan University, Ramat Gan, Israel
Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM
May 11, 2026Stefano Blando, Giorgio Fagiolo, Mauro Napoletano +2Agent-Based Model Probabilistic Model Checking
Institute of Economics and L’EMbeDS2026 Sant’Anna School of Advanced Studies, Pisa, Italy · GREDEG, CNRS, Université Côte d’Azur Sophia Antipolis, France · Maastricht University Maastricht, The Netherlands
Learning Correct Behavior from Examples: Validating Sequential Execution in Autonomous Agents
May 4, 2026Reshabh K Sharma, Gaurav Mittal, Yu HuAutonomous Agents Probabilistic Model Checking
University of Washington, Seattle, WA, USA · Microsoft, Redmond, WA, USA
RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation
Apr 27, 2026Yifan Zhang, Jianmin Ye, Jiahao Yang +1High-Level Synthesis Probabilistic Model Checking
School of Integrated Circuits, Southeast University, China · National Center of Technology Innovation for EDA, China
A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
Apr 23, 2026Xiaofeng Zhou, Guangyu Hu, Hongce Zhang +1Probabilistic Model Checking Induction
The Hong Kong University of Science and Technology · The Hong Kong University of Science and Technology (Guangzhou)
Real-Time Model Checking for Closed-Loop Robot Reactive Planning
Aug 26, 2025Christopher Chandler, Bernd Porr, Giulia Lafratta +1Geometric Planning Obstacle Avoidance
Department of Electronic and Electrical Engineering, University of Strathclyde, Glasgow, Scotland, UK · School of Engineering, University of Glasgow, Glasgow, Scotland, UK · School of Computing Science, University of Glasgow, Glasgow, Scotland, UK

Oct 4, 2026, cs.LOJ/K move · Enter open · S save

Scenario-Based Compositional Statistical Model Checking for Safety Specifications

Abhinav Pomalapally, Arya Raeesi, Kevin Kai-Chun Chang, Beyazit Yalcinkaya+1

University of California, Berkeley, USA

Probabilistic Model Checking Probabilistic Safety Scenario Generation Automated Vehicles

Open paper AskPDF arXiv

In safety-critical domains such as autonomous driving, systems must be evaluated across a large number of environment conditions, often represented as composite scenarios built from primitive scenarios. Existing statistical model checking (SMC) approaches analyze each composite scenario independently, requiring many expensive simulations and resulting in substantial redundant computation when scenarios share common structure. This work introduces a scenario-based compositional SMC framework for safety and co-safety specifications, enabling efficient analysis of composite scenarios. Our approach decomposes scenarios into primitives and specifications into sub-specifications, verifies each primitive independently, and composes the resulting statistical estimates using importance sampling and kernel density estimation. Our empirical evaluation shows that the proposed framework can accurately answer verification queries for previously unseen composite scenarios while reducing simulation cost through parallelization and trace reuse.

Momentum

Related topics

Latest papers 25