Buchumschlag

Probabilistic Model Checking: Applications and Trends

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kwiatkowska, Marta, Norman, Gethin, Parker, David
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
von: Yan, Rui, et al.
Veröffentlicht: (2022)

Distributional Probabilistic Model Checking
von: Elsayed-Aly, Ingy, et al.
Veröffentlicht: (2023)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
von: Roy, Rajarshi, et al.
Veröffentlicht: (2025)

Towards Probabilistic Strategic Timed CTL
von: Jamroga, Wojciech, et al.
Veröffentlicht: (2026)

Expectation vs. Reality: Towards Verification of Psychological Games
von: Kwiatkowska, Marta, et al.
Veröffentlicht: (2024)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
von: Gerlach, Lina, et al.
Veröffentlicht: (2025)

Probabilistic Model Checking Taken by Storm
von: Volk, Matthias, et al.
Veröffentlicht: (2026)

About Time: Model-free Reinforcement Learning with Timed Reward Machines
von: Roy, Rajarshi, et al.
Veröffentlicht: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
von: Orvalho, Pedro, et al.
Veröffentlicht: (2026)

Partially Observable Stochastic Games with Neural Perception Mechanisms
von: Yan, Rui, et al.
Veröffentlicht: (2023)

HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms
von: Yan, Rui, et al.
Veröffentlicht: (2024)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
von: Tulcan, Radu-Florin, et al.
Veröffentlicht: (2026)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
von: Lin, Deren, et al.
Veröffentlicht: (2014)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
von: Heck, Linus, et al.
Veröffentlicht: (2025)

Provable Preimage Under-Approximation for Neural Networks (Full Version)
von: Zhang, Xiyue, et al.
Veröffentlicht: (2023)

Model Checking Temporal Properties of Recursive Probabilistic Programs
von: Winkler, Tobias, et al.
Veröffentlicht: (2021)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
von: Orvalho, Pedro, et al.
Veröffentlicht: (2025)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
von: D'Asaro, Fabio Aurelio, et al.
Veröffentlicht: (2022)

Integrating Loop Acceleration into Bounded Model Checking
von: Frohn, Florian, et al.
Veröffentlicht: (2024)

Model Checking Markov Chains as Distribution Transformers
von: Aghamov, Rajab, et al.
Veröffentlicht: (2024)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
von: Zhang, Xiyue, et al.
Veröffentlicht: (2024)

Infinite State Model Checking by Learning Transitive Relations
von: Frohn, Florian, et al.
Veröffentlicht: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
von: Aghamov, Rajab, et al.
Veröffentlicht: (2025)

Functional Reduction to Speed Up Bounded Model Checking
von: Yu, Changyuan, et al.
Veröffentlicht: (2025)

Revisiting Assumptions Ordering in CAR-Based Model Checking
von: Dong, Yibo, et al.
Veröffentlicht: (2024)

Policies Grow on Trees: Model Checking Families of MDPs
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2024)

Learning Algorithms for Verification of Markov Decision Processes
von: Brázdil, Tomáš, et al.
Veröffentlicht: (2024)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
von: Baldan, Paolo, et al.
Veröffentlicht: (2025)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Neural Model Checking
von: Giacobbe, Mirco, et al.
Veröffentlicht: (2024)

Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security
von: Kammüller, Florian
Veröffentlicht: (2023)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
von: Budde, Carlos E., et al.
Veröffentlicht: (2024)

Analyzing Divergence for Nondeterministic Probabilistic Models
von: Wu, Hao, et al.
Veröffentlicht: (2024)

Model Checking Logical Actions in Magic Tricks
von: Zhu, Weijun
Veröffentlicht: (2024)

A Monoidal View on Fixpoint Checks
von: Baldan, Paolo, et al.
Veröffentlicht: (2023)

Property Checking Without Inductive Invariants
von: Goldberg, Eugene
Veröffentlicht: (2016)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

Zero-Knowledge Model Checking
von: Berrang, Pascal, et al.
Veröffentlicht: (2026)