Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems
Diana FischerLukasz KaiserPublished in: Log. Methods Comput. Sci. (2012)
Keyphrases
- model checking
- hybrid systems
- process algebra
- timed automata
- transition systems
- temporal logic
- intelligent systems
- soft computing
- neural network
- concurrent systems
- black box
- computational intelligence
- meta learning
- model checker
- formal verification
- verification method
- artificial intelligence
- formal methods
- formal specification
- discrete event
- linear time temporal logic
- computation tree logic
- qualitative and quantitative
- asynchronous circuits
- fuzzy logic
- multi agent systems
- decision trees
- alternating time temporal logic