Cover Image

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	D'Argenio, Pedro R., Hartmanns, Arnd, Wienhöft, Patrick, van Wijk, Mark
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Polytopal Stochastic Games
by: Castro, Pablo F., et al.
Published: (2025)

Digging for Decision Trees: A Case Study in Strategy Sampling and Learning
by: Budde, Carlos E., et al.
Published: (2024)

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

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

Time-Sensitive Importance Splitting
by: Dengler, Gabriel, et al.
Published: (2025)

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

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

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

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

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

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

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

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

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

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

Uncertainty-Aware Routing in Delay-Tolerant Networks: Artifact and Reproducibility Package
by: Fraire, Juan A., et al.
Published: (2026)

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
by: Suilen, Marnix, et al.
Published: (2024)

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

Distributional Probabilistic Model Checking
by: Elsayed-Aly, Ingy, et al.
Published: (2023)

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

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

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

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

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

Model Checking Markov Chains as Distribution Transformers
by: Aghamov, Rajab, 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)

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

Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
by: Gurov, Dilian, et al.
Published: (2024)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
by: Li, Ying, et al.
Published: (2024)

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

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

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