On the Hybrid Extension of CTL and CTL+
Ahmet KaraMartin LangeThomas SchwentickVolker WeberPublished in: CoRR (2009)
Keyphrases
- computation tree logic
- model checking
- temporal logic
- temporal properties
- bounded model checking
- linear temporal logic
- transition systems
- formal specification
- minimal change
- epistemic logic
- alternating time temporal logic
- formal verification
- neural network
- information retrieval
- qualitative preferences
- mathematical theory
- hybrid approaches
- situation calculus
- modal logic
- multiscale
- real world