Buchumschlag

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Budde, Carlos E., Hartmanns, Arnd, Meggendorfer, Tobias, Weininger, Maximilian, Wienhöft, Patrick
Format:	Preprint
Veröffentlicht:	2024
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

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
von: Budde, Carlos E., et al.
Veröffentlicht: (2025)

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

DTMC Model Checking by Path Abstraction Revisited (extended version)
von: Hartmanns, Arnd, et al.
Veröffentlicht: (2025)

What Are the Odds? Improving the foundations of Statistical Model Checking
von: Meggendorfer, Tobias, et al.
Veröffentlicht: (2024)

Time-Sensitive Importance Splitting
von: Dengler, Gabriel, et al.
Veröffentlicht: (2025)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
von: Waddoups, Nick, et al.
Veröffentlicht: (2025)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Multiplicative Rewards in Markovian Models
von: Baier, Christel, et al.
Veröffentlicht: (2025)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
von: Kohlen, Bram, et al.
Veröffentlicht: (2025)

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
von: Meggendorfer, Tobias, et al.
Veröffentlicht: (2024)

Tools at the Frontiers of Quantitative Verification
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2024)

Sound Value Iteration for Simple Stochastic Games
von: Azeem, Muqsit, et al.
Veröffentlicht: (2024)

Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games
von: Meggendorfer, Tobias, et al.
Veröffentlicht: (2024)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
von: Stramaglia, Anna, et al.
Veröffentlicht: (2025)

SemML 2.0: Synthesizing Controllers for LTL
von: Křetínský, Jan, et al.
Veröffentlicht: (2026)

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
von: Brihaye, Thomas, et al.
Veröffentlicht: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
von: Akshay, S., et al.
Veröffentlicht: (2024)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
von: Grobelna, Marta, et al.
Veröffentlicht: (2025)

An extended type system with lambda-typed lambda-expressions (extended version)
von: Weber, Matthias
Veröffentlicht: (2018)

Repairing General Game Descriptions (extended version)
von: He, Yifan, et al.
Veröffentlicht: (2025)

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

Benchmarks for Parity Games (extended version)
von: Keiren, Jeroen J. A.
Veröffentlicht: (2014)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
von: Heuvel, Bas van den
Veröffentlicht: (2024)

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

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
von: Dengler, Gabriel, et al.
Veröffentlicht: (2024)

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
von: Neves, Renato
Veröffentlicht: (2024)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
von: Dardinier, Thibault, et al.
Veröffentlicht: (2023)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
von: Şakar, Ömer, et al.
Veröffentlicht: (2026)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
von: Mertens, Hannah, et al.
Veröffentlicht: (2024)

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

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
von: Batz, Kevin, et al.
Veröffentlicht: (2024)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Probabilistic Model Checking: Applications and Trends
von: Kwiatkowska, Marta, et al.
Veröffentlicht: (2025)

Validity of contextual formulas (extended version)
von: Esparza, Javier, et al.
Veröffentlicht: (2024)

Stochastic Processes with Expected Stopping Time
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2021)

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)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
von: de Lima, Tiago, et al.
Veröffentlicht: (2024)

A categorical account of composition methods in logic (extended version)
von: Jakl, Tomáš, et al.
Veröffentlicht: (2024)

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