Polytime model checking for timed probabilistic computation tree logic

• 1 August 1998
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 35  (8) , 645-664
• https://doi.org/10.1007/s002360050136

Abstract

Keywords

• DECISION PROCESS
• TIME COMPLEXITY
• MODEL CHECK
• TRANSITION SYSTEM
• MARKOV DECISION PROCESS