Image de couverture de livre

Model Checking Markov Chains as Distribution Transformers

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Aghamov, Rajab, Baier, Christel, Karimov, Toghrul, Nieuwveld, Joris, Ouaknine, Joël, Piribauer, Jakob, Vahanwala, Mihir
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Model Checking Linear Temporal Logic with Standpoint Modalities
par: Aghamov, Rajab, et autres
Publié: (2025)

On the Decidability of Monadic Theories of Arithmetic Predicates
par: Berthé, Valérie, et autres
Publié: (2024)

Linear dynamical systems with continuous weight functions
par: Aghamov, Rajab, et autres
Publié: (2024)

The Monadic Theory of Toric Words
par: Berthé, Valérie, et autres
Publié: (2023)

On the Decidability of Presburger Arithmetic Expanded with Powers
par: Karimov, Toghrul, et autres
Publié: (2024)

Positivity-hardness results on Markov decision processes
par: Piribauer, Jakob, et autres
Publié: (2023)

Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
par: Aghamov, Rajab, et autres
Publié: (2025)

Automata on $S$-adic words
par: Berthé, Valérie, et autres
Publié: (2025)

Foundations of probability-raising causality in Markov decision processes
par: Baier, Christel, et autres
Publié: (2022)

Skolem and Positivity Completeness of Ergodic Markov Chains
par: Vahanwala, Mihir
Publié: (2023)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
par: Spork, Timm, et autres
Publié: (2025)

Formal Quality Measures for Predictors in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2024)

Risk-averse optimization of total rewards in Markovian models using deviation measures
par: Baier, Christel, et autres
Publié: (2024)

Multiple Reachability in Linear Dynamical Systems
par: Karimov, Toghrul, et autres
Publié: (2024)

Multiplicative Rewards in Markovian Models
par: Baier, Christel, et autres
Publié: (2025)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
par: Karimov, Toghrul
Publié: (2024)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
par: Bacik, Piotr, et autres
Publié: (2026)

On Expansions of Monadic Second-Order Logic with Dynamical Predicates
par: Nieuwveld, Joris, et autres
Publié: (2025)

Demonic variance and a non-determinism score for Markov decision processes
par: Piribauer, Jakob
Publié: (2024)

A Spectrum of Approximate Probabilistic Bisimulations
par: Spork, Timm, et autres
Publié: (2024)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2024)

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
par: Akshay, S., et autres
Publié: (2022)

The Modal Logic of Abstraction Refinement
par: Piribauer, Jakob, et autres
Publié: (2026)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2025)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
par: Xu, Ming, et autres
Publié: (2022)

On the Complexity of the Skolem Problem at Low Orders
par: Bacik, Piotr, et autres
Publié: (2025)

Model Checking Quantum Continuous-Time Markov Chains
par: Xu, Ming, et autres
Publié: (2021)

The 2-Dimensional Constraint Loop Problem is Decidable
par: Guilmant, Quentin, et autres
Publié: (2024)

Distributional Probabilistic Model Checking
par: Elsayed-Aly, Ingy, et autres
Publié: (2023)

On the Counting Complexity of the Skolem Problem
par: Jindal, Gorav, et autres
Publié: (2024)

Algorithms for Markov Binomial Chains
par: Gonzalez, Alejandro Alarcón, et autres
Publié: (2024)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
par: Mertens, Hannah, et autres
Publié: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

Termination Analysis of Linear-Constraint Programs
par: Ben-Amram, Amir M., et autres
Publié: (2025)

Model Checking Matrix Product States against Linear Chain Logic
par: Xu, Ming, et autres
Publié: (2026)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
par: Češka, Milan, et autres
Publié: (2026)

Probabilistic Model Checking: Applications and Trends
par: Kwiatkowska, Marta, et autres
Publié: (2025)

Integrating Loop Acceleration into Bounded Model Checking
par: Frohn, Florian, et autres
Publié: (2024)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
par: Tulcan, Radu-Florin, et autres
Publié: (2026)

Revisiting Assumptions Ordering in CAR-Based Model Checking
par: Dong, Yibo, et autres
Publié: (2024)