A Decidable Probability Logic for Timed Probabilistic Systems
From MaRDI portal
Publication:3400533
DOI10.3233/FI-2009-171zbMath1198.68169MaRDI QIDQ3400533
Ruggero Lanotte, Danièle Beauquier
Publication date: 5 February 2010
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Markov decision processes; model checking; predicate logic of probabilities; probabilistic timed transition systems
03B48: Probability and inductive logic
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Uses Software