Buchumschlag

Policies Grow on Trees: Model Checking Families of MDPs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Andriushchenko, Roman, Češka, Milan, Junges, Sebastian, Macák, Filip
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

Small Decision Trees for MDPs with Deductive Synthesis
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2025)

Shields to Guarantee Probabilistic Safety in MDPs
von: Heck, Linus, et al.
Veröffentlicht: (2026)

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

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
von: Češka, Milan, et al.
Veröffentlicht: (2026)

Decentralized Planning Using Probabilistic Hyperproperties
von: Pontiggia, Francesco, et al.
Veröffentlicht: (2025)

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

Tractable Hyperproperties for MDPs
von: Gerlach, Lina, et al.
Veröffentlicht: (2026)

Robust Almost-Sure Reachability in Multi-Environment MDPs
von: van der Vegt, Marck, et al.
Veröffentlicht: (2023)

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
von: Suilen, Marnix, et al.
Veröffentlicht: (2024)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
von: van der Vegt, Marck, et al.
Veröffentlicht: (2025)

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)

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

Small Test Suites for Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2024)

Relating Apartness and Branching Bisimulation Games
von: Rot, Jurriaan, et al.
Veröffentlicht: (2024)

Learning Robust Markov Models for Safe Runtime Monitoring
von: Skurka, Antonina, et al.
Veröffentlicht: (2026)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
von: Pettinau, Roberto, 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)

State Matching and Multiple References in Adaptive Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2024)

Error-awareness Accelerates Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2026)

Learning Verified Monitors for Hidden Markov Models
von: van der Maas, Luko, et al.
Veröffentlicht: (2025)

CTMCs with Imprecisely Timed Observations
von: Badings, Thom, et al.
Veröffentlicht: (2024)

Compositional Value Iteration with Pareto Caching
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Subvarieties of pointed Abelian l-groups
von: Jankovec, Filip
Veröffentlicht: (2025)

Multi-Environment MDPs with Prior and Universal Semantics
von: Bordais, Benjamin, et al.
Veröffentlicht: (2026)

Decisiveness for countable MDPs and insights for NPLCSs and POMDPs
von: Bertrand, Nathalie, et al.
Veröffentlicht: (2020)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
von: Schirrmacher, Nicole, et al.
Veröffentlicht: (2023)

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

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

Omega-regular Verification and Control for Distributional Specifications in MDPs
von: Akshay, S., et al.
Veröffentlicht: (2025)

The Value Problem for Multiple-Environment MDPs with Parity Objective
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

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

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
von: Bilotta, Antonella
Veröffentlicht: (2025)

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

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)

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

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

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