Buchumschlag

A Unifying Approach to Product Constructions for Quantitative Temporal Inference

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Watanabe, Kazuki, Junges, Sebastian, Rot, Jurriaan, Hasuo, Ichiro
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

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
von: Watanabe, Kazuki, 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)

Compositional Value Iteration with Pareto Caching
von: Watanabe, Kazuki, 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)

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)

Initial Algebra Correspondence under Reachability Conditions
von: Kori, Mayuko, et al.
Veröffentlicht: (2025)

A Categorical Approach to Coalgebraic Fixpoint Logic
von: Schoen, Ezra, et al.
Veröffentlicht: (2024)

Composing Codensity Bisimulations
von: Kori, Mayuko, et al.
Veröffentlicht: (2024)

Incremental Fingerprinting in an Open World
von: Kruger, Loes, et al.
Veröffentlicht: (2026)

On Tools for Completeness of Kleene Algebra with Hypotheses
von: Pous, Damien, et al.
Veröffentlicht: (2022)

Constructing Witnesses for Lower Bounds on Behavioural Distances
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2025)

Complete Test Suites for Automata in Monoidal Closed Categories
von: Kocsis, Bálint, et al.
Veröffentlicht: (2024)

A No-go Theorem for Coalgebraic Product Construction
von: Kori, Mayuko, et al.
Veröffentlicht: (2025)

Correspondences between codensity and coupling-based liftings, a practical approach
von: Humeau, Samuel, et al.
Veröffentlicht: (2024)

Proving Behavioural Apartness
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2024)

Trees in Coalgebra from Generalized Reachability
von: Wißmann, Thorsten, et al.
Veröffentlicht: (2025)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2025)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
von: Phalakarn, Kittiphon, et al.
Veröffentlicht: (2025)

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

From Coalgebraic Determinization to Belief Construction for Partial Observability
von: Kori, Mayuko, et al.
Veröffentlicht: (2026)

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
von: Reimann, Jesse, et al.
Veröffentlicht: (2024)

Monads and Distributive Laws in Substructural Contexts (Extended Version)
von: Fujii, Soichiro, et al.
Veröffentlicht: (2026)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
von: Watanabe, Kazuki
Veröffentlicht: (2024)

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

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

Policies Grow on Trees: Model Checking Families of MDPs
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2024)

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

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

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

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

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

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

Intrinsically Correct Sorting in Cubical Agda
von: Alexandru, Cass, et al.
Veröffentlicht: (2024)

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

Model-bounded monitoring of hybrid systems
von: Waga, Masaki, et al.
Veröffentlicht: (2021)

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

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

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