Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Budde, Carlos E., Hartmanns, Arnd, Meggendorfer, Tobias, Weininger, Maximilian, Wienhöft, Patrick
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

DTMC Model Checking by Path Abstraction Revisited (extended version)
por: Hartmanns, Arnd, et al.
Publicado: (2025)

What Are the Odds? Improving the foundations of Statistical Model Checking
por: Meggendorfer, Tobias, et al.
Publicado: (2024)

Time-Sensitive Importance Splitting
por: Dengler, Gabriel, et al.
Publicado: (2025)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
por: Waddoups, Nick, et al.
Publicado: (2025)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
por: Chatterjee, Krishnendu, et al.
Publicado: (2025)

Multiplicative Rewards in Markovian Models
por: Baier, Christel, et al.
Publicado: (2025)

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

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
por: Meggendorfer, Tobias, et al.
Publicado: (2024)

Tools at the Frontiers of Quantitative Verification
por: Andriushchenko, Roman, et al.
Publicado: (2024)

Sound Value Iteration for Simple Stochastic Games
por: Azeem, Muqsit, et al.
Publicado: (2024)

Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games
por: Meggendorfer, Tobias, et al.
Publicado: (2024)

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

SemML 2.0: Synthesizing Controllers for LTL
por: Křetínský, Jan, et al.
Publicado: (2026)

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
por: Brihaye, Thomas, et al.
Publicado: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
por: Akshay, S., et al.
Publicado: (2024)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
por: Grobelna, Marta, et al.
Publicado: (2025)

An extended type system with lambda-typed lambda-expressions (extended version)
por: Weber, Matthias
Publicado: (2018)

Repairing General Game Descriptions (extended version)
por: He, Yifan, et al.
Publicado: (2025)

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

Benchmarks for Parity Games (extended version)
por: Keiren, Jeroen J. A.
Publicado: (2014)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
por: Heuvel, Bas van den
Publicado: (2024)

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

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
por: Dengler, Gabriel, et al.
Publicado: (2024)

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
por: Neves, Renato
Publicado: (2024)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
por: Dardinier, Thibault, et al.
Publicado: (2023)

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

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
por: Mertens, Hannah, et al.
Publicado: (2024)

Distributional Probabilistic Model Checking
por: Elsayed-Aly, Ingy, et al.
Publicado: (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)
por: Batz, Kevin, et al.
Publicado: (2024)

Dynamic Probability Logic: Decidability & Computability
por: Chopoghloo, Somayeh, et al.
Publicado: (2024)

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

Validity of contextual formulas (extended version)
por: Esparza, Javier, et al.
Publicado: (2024)

Stochastic Processes with Expected Stopping Time
por: Chatterjee, Krishnendu, et al.
Publicado: (2021)

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

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

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
por: de Lima, Tiago, et al.
Publicado: (2024)

A categorical account of composition methods in logic (extended version)
por: Jakl, Tomáš, et al.
Publicado: (2024)

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