Best Probabilistic Transformers
From MaRDI portal
Publication:3656896
DOI10.1007/978-3-642-11319-2_26zbMath1273.68244OpenAlexW2098245493MaRDI QIDQ3656896
Publication date: 14 January 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11319-2_26
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items
Out of control: reducing probabilistic models by control-state elimination, A game-based abstraction-refinement framework for Markov decision processes, On Abstraction of Probabilistic Systems, Local abstraction refinement for probabilistic timed programs