About decisiveness of dynamic probabilistic models

DOI10.4230/LIPICS.CONCUR.2023.14MaRDI QIDQ6967335zbMATH OpenFDO

Authors Alain Finkel, Serge Haddad, Lina Ye

Publication date 26 June 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.CONCUR.2023.14

zbMATH Keywords

decisivenessinfinite Markov chainreachability probability

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 3646295 (Why is no real title available?)
• scientific article; zbMATH DE number 3543391 (Why is no real title available?)
• scientific article; zbMATH DE number 1223710 (Why is no real title available?)
• scientific article; zbMATH DE number 1956504 (Why is no real title available?)
• scientific article; zbMATH DE number 1956509 (Why is no real title available?)
• scientific article; zbMATH DE number 2038771 (Why is no real title available?)
• scientific article; zbMATH DE number 1759620 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• Analyzing probabilistic pushdown automata
• Decisive Markov Chains
• Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
• Efficient analysis of probabilistic programs with an unbounded counter
• Model Checking Probabilistic Pushdown Automata
• On selective unboundedness of VASS
• Petri nets and regular languages
• Probabilistic grammars and automata
• The quasi-stationary behavior of quasi-birth-and-death processes
• Vector addition systems and regular languages
• Verification of probabilistic systems with faulty communication
• Verifying programs with unreliable channels
• When are stochastic transition systems tameable?

Cited in

(1)

• Beyond decisiveness of infinite Markov chains

This page was built for publication: About decisiveness of dynamic probabilistic models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6967335)