Cover Image

Distributional Probabilistic Model Checking

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Elsayed-Aly, Ingy, Parker, David, Feng, Lu
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Probabilistic Model Checking: Applications and Trends
by: Kwiatkowska, Marta, et al.
Published: (2025)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
by: Gerlach, Lina, et al.
Published: (2025)

Probabilistic Model Checking Taken by Storm
by: Volk, Matthias, et al.
Published: (2026)

Model Checking Markov Chains as Distribution Transformers
by: Aghamov, Rajab, et al.
Published: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
by: Lin, Deren, et al.
Published: (2014)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
by: Heck, Linus, et al.
Published: (2025)

Model Checking Temporal Properties of Recursive Probabilistic Programs
by: Winkler, Tobias, et al.
Published: (2021)

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

Integrating Loop Acceleration into Bounded Model Checking
by: Frohn, Florian, et al.
Published: (2024)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
by: Tulcan, Radu-Florin, et al.
Published: (2026)

Revisiting Assumptions Ordering in CAR-Based Model Checking
by: Dong, Yibo, et al.
Published: (2024)

Policies Grow on Trees: Model Checking Families of MDPs
by: Andriushchenko, Roman, et al.
Published: (2024)

Infinite State Model Checking by Learning Transitive Relations
by: Frohn, Florian, et al.
Published: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
by: Aghamov, Rajab, et al.
Published: (2025)

Functional Reduction to Speed Up Bounded Model Checking
by: Yu, Changyuan, et al.
Published: (2025)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

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

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
by: Watanabe, Kazuki, et al.
Published: (2024)

Neural Model Checking
by: Giacobbe, Mirco, et al.
Published: (2024)

Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security
by: Kammüller, Florian
Published: (2023)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
by: Budde, Carlos E., et al.
Published: (2024)

Analyzing Divergence for Nondeterministic Probabilistic Models
by: Wu, Hao, et al.
Published: (2024)

Model Checking Logical Actions in Magic Tricks
by: Zhu, Weijun
Published: (2024)

A Monoidal View on Fixpoint Checks
by: Baldan, Paolo, et al.
Published: (2023)

Property Checking Without Inductive Invariants
by: Goldberg, Eugene
Published: (2016)

Zero-Knowledge Model Checking
by: Berrang, Pascal, et al.
Published: (2026)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
by: Schirrmacher, Nicole, et al.
Published: (2023)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
by: Hausmann, Daniel, et al.
Published: (2025)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
by: Stramaglia, Anna, et al.
Published: (2025)

Robust Probabilistic Bisimilarity for Labelled Markov Chains
by: Fatmi, Syyeda Zainab, et al.
Published: (2025)

Model Checking Probabilistic Operator Precedence Automata
by: Pontiggia, Francesco, et al.
Published: (2024)

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
by: D'Argenio, Pedro R., et al.
Published: (2025)

ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST
by: Li, Xianzhiyu, et al.
Published: (2024)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
by: Lyon, Tim S.
Published: (2026)

Invariant Checking for SMT-based Systems with Quantifiers
by: Redondi, Gianluca, et al.
Published: (2024)

Model Checking the Security of the Lightning Network
by: Grundmann, Matthias, et al.
Published: (2025)

POPACheck: A Model Checker for Probabilistic Pushdown Automata
by: Pontiggia, Francesco, et al.
Published: (2025)

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
by: Pettinau, Roberto, et al.
Published: (2026)

Checking Satisfiability of Hyperproperties using First-Order Logic
by: Beutner, Raven, et al.
Published: (2025)