Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.
Nikola BenesJan KretínskýKim Guldstrand LarsenJirí SrbaPublished in: ICTAC (2009)
Keyphrases
- data exchange
- transition systems
- exptime complete
- model checking
- pspace complete
- temporal logic
- concurrent systems
- description logics
- finite state
- practical reasoning
- control flow
- model checker
- expressive power
- data complexity
- machine learning
- modal logic
- reactive systems
- formal methods
- formal verification
- tree automata
- formal specification
- decision problems
- np complete
- distributed systems
- fully observable
- artificial intelligence