Buchumschlag

Compositional Reasoning for Parametric Probabilistic Automata

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mertens, Hannah, Quatmann, Tim, Katoen, Joost-Pieter
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Probability
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Compositional Reasoning for Probabilistic Automata with Uncertainty
von: Mertens, Hannah, et al.
Veröffentlicht: (2026)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
von: Mertens, Hannah, et al.
Veröffentlicht: (2024)

A Spectrum of Approximate Probabilistic Bisimulations
von: Spork, Timm, et al.
Veröffentlicht: (2024)

Probabilistic Model Checking Taken by Storm
von: Volk, Matthias, et al.
Veröffentlicht: (2026)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
von: Heck, Linus, et al.
Veröffentlicht: (2025)

Unknown Biases and Timing Constraints in Timed Automata
von: Haase, Darion, et al.
Veröffentlicht: (2024)

Model Checking Temporal Properties of Recursive Probabilistic Programs
von: Winkler, Tobias, et al.
Veröffentlicht: (2021)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
von: Spork, Timm, et al.
Veröffentlicht: (2025)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
von: Batz, Kevin, et al.
Veröffentlicht: (2025)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
von: Klinkenberg, Lutz, et al.
Veröffentlicht: (2023)

Bayesian Inference in Quantum Programs
von: Gehnen, Christina, et al.
Veröffentlicht: (2025)

Quantifier Elimination and Craig Interpolation, Quantitatively
von: Batz, Kevin, et al.
Veröffentlicht: (2025)

Towards Concurrent Quantitative Separation Logic
von: Fesefeldt, Ira, et al.
Veröffentlicht: (2022)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
von: Ahrens, Emma, et al.
Veröffentlicht: (2025)

Verifying Sampling Algorithms via Distributional Invariants
von: Zilken, Daniel, et al.
Veröffentlicht: (2025)

Verification of Robust Multi-Agent Systems
von: Berthon, Raphaël, et al.
Veröffentlicht: (2026)

Natural Strategic Ability in Stochastic Multi-Agent Systems
von: Berthon, Raphaël, et al.
Veröffentlicht: (2024)

A Type Theory for Probabilistic and Bayesian Reasoning
von: Adams, Robin, et al.
Veröffentlicht: (2015)

On the Metric Temporal Logic for Continuous Stochastic Processes
von: Ikeda, Mitsumasa, et al.
Veröffentlicht: (2023)

Probabilistic consequence relations
von: Égré, Paul, et al.
Veröffentlicht: (2024)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
von: Ackerman, Nathanael L., et al.
Veröffentlicht: (2023)

A very sharp threshold for first order logic distinguishability of random graphs
von: Benjamini, Itai, et al.
Veröffentlicht: (2022)

Drawing with Distance
von: Jacobs, Bart
Veröffentlicht: (2024)

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

Zeta Functions and the (Linear) Logic of Markov Processes
von: Seiller, Thomas
Veröffentlicht: (2020)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
von: André, Étienne, et al.
Veröffentlicht: (2023)

POPACheck: A Model Checker for Probabilistic Pushdown Automata
von: Pontiggia, Francesco, et al.
Veröffentlicht: (2025)

Compositional imprecise probability
von: Liell-Cock, Jack, et al.
Veröffentlicht: (2024)

First order complexity of finite random structures
von: Demin, Danila, et al.
Veröffentlicht: (2024)

Memoryless Strategies in Stochastic Reachability Games
von: Kiefer, Stefan, et al.
Veröffentlicht: (2024)

Algorithmic Randomness in Continuous-Time Markov Chains
von: Huang, Xiang, et al.
Veröffentlicht: (2019)

A Categorical Treatment of Open Linear Systems
von: Stein, Dario, et al.
Veröffentlicht: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
von: Habermehl, Peter, et al.
Veröffentlicht: (2024)

Step Automata
von: Wang, Yong
Veröffentlicht: (2026)

Probabilistic Disjunctive Normal Forms in Temporal Logic and Automata Theory
von: Kuznetsov, Alexander
Veröffentlicht: (2026)

Decision Questions for Probabilistic Automata on Small Alphabets
von: Bell, Paul C., et al.
Veröffentlicht: (2021)

Enhancing Computer Vision with Knowledge: a Rummikub Case Study
von: Vandevelde, Simon, et al.
Veröffentlicht: (2024)

Programming and Reasoning in Partially Observable Probabilistic Environments
von: Gürtler, Tobias, et al.
Veröffentlicht: (2025)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)