Copertina

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Watanabe, Kazuki, van der Vegt, Marck, Hasuo, Ichiro, Rot, Jurriaan, Junges, Sebastian
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Compositional Value Iteration with Pareto Caching
di: Watanabe, Kazuki, et al.
Pubblicazione: (2024)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
di: Watanabe, Kazuki, et al.
Pubblicazione: (2024)

Robust Almost-Sure Reachability in Multi-Environment MDPs
di: van der Vegt, Marck, et al.
Pubblicazione: (2023)

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

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
di: Watanabe, Kazuki
Pubblicazione: (2024)

Small Test Suites for Active Automata Learning
di: Kruger, Loes, et al.
Pubblicazione: (2024)

Relating Apartness and Branching Bisimulation Games
di: Rot, Jurriaan, et al.
Pubblicazione: (2024)

State Matching and Multiple References in Adaptive Active Automata Learning
di: Kruger, Loes, et al.
Pubblicazione: (2024)

Error-awareness Accelerates Active Automata Learning
di: Kruger, Loes, et al.
Pubblicazione: (2026)

Initial Algebra Correspondence under Reachability Conditions
di: Kori, Mayuko, et al.
Pubblicazione: (2025)

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

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

Composing Codensity Bisimulations
di: Kori, Mayuko, et al.
Pubblicazione: (2024)

Incremental Fingerprinting in an Open World
di: Kruger, Loes, et al.
Pubblicazione: (2026)

On Tools for Completeness of Kleene Algebra with Hypotheses
di: Pous, Damien, et al.
Pubblicazione: (2022)

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

Tractable Hyperproperties for MDPs
di: Gerlach, Lina, et al.
Pubblicazione: (2026)

Complete Test Suites for Automata in Monoidal Closed Categories
di: Kocsis, Bálint, et al.
Pubblicazione: (2024)

Small Decision Trees for MDPs with Deductive Synthesis
di: Andriushchenko, Roman, et al.
Pubblicazione: (2025)

Correspondences between codensity and coupling-based liftings, a practical approach
di: Humeau, Samuel, et al.
Pubblicazione: (2024)

Proving Behavioural Apartness
di: Turkenburg, Ruben, et al.
Pubblicazione: (2024)

A Categorical Approach to Coalgebraic Fixpoint Logic
di: Schoen, Ezra, et al.
Pubblicazione: (2024)

Trees in Coalgebra from Generalized Reachability
di: Wißmann, Thorsten, et al.
Pubblicazione: (2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances
di: Turkenburg, Ruben, et al.
Pubblicazione: (2025)

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

Shields to Guarantee Probabilistic Safety in MDPs
di: Heck, Linus, et al.
Pubblicazione: (2026)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
di: Phalakarn, Kittiphon, et al.
Pubblicazione: (2025)

Learning Robust Markov Models for Safe Runtime Monitoring
di: Skurka, Antonina, et al.
Pubblicazione: (2026)

Learning Verified Monitors for Hidden Markov Models
di: van der Maas, Luko, et al.
Pubblicazione: (2025)

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

Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
di: Phalakarn, Kittiphon, et al.
Pubblicazione: (2024)

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

Intrinsically Correct Sorting in Cubical Agda
di: Alexandru, Cass, et al.
Pubblicazione: (2024)

String Diagrams for Monoidal Categories, in Rocq
di: Pous, Damien
Pubblicazione: (2026)

Monads and Distributive Laws in Substructural Contexts (Extended Version)
di: Fujii, Soichiro, et al.
Pubblicazione: (2026)

Tapes as Stochastic Matrices of String Diagrams
di: Bonchi, Filippo, et al.
Pubblicazione: (2026)

Promonads and String Diagrams for Effectful Categories
di: Román, Mario
Pubblicazione: (2022)

String Diagrams for Closed Symmetric Monoidal Categories
di: Reader, Callum, et al.
Pubblicazione: (2025)

From Coalgebraic Determinization to Belief Construction for Partial Observability
di: Kori, Mayuko, et al.
Pubblicazione: (2026)