Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
From MaRDI portal
Publication:5758107
DOI10.1007/978-3-540-71209-1_14zbMath1186.68326OpenAlexW2171849316MaRDI QIDQ5758107
David N. Jansen, Friedrich Eisenbrand, Holger Hermanns, Li-jun Zhang
Publication date: 3 September 2007
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_14
Related Items (6)
A space-efficient simulation algorithm on probabilistic automata ⋮ Computing Behavioral Relations for Probabilistic Concurrent Systems ⋮ Deciding Simulations on Probabilistic Automata ⋮ A Space-Efficient Probabilistic Simulation Algorithm ⋮ Polynomial time decision algorithms for probabilistic automata ⋮ Efficient Coalgebraic Partition Refinement
This page was built for publication: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
