EXPTIME-completeness of thorough refinement on modal transition systems.
Nikola BenesJan KretínskýKim G. LarsenJirí SrbaPublished in: Inf. Comput. (2012)
Keyphrases
- transition systems
- model checking
- concurrent systems
- temporal logic
- finite state
- description logics
- practical reasoning
- control flow
- model checker
- formal specification
- decision problems
- first order logic
- distributed systems
- markov chain
- formal verification
- modal logic
- real time systems
- artificial intelligence
- petri net
- optimal policy
- linear programming
- knowledge representation