What's decidable about parametric timed automata?
Étienne AndréPublished in: Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases
- timed automata
- first order logic
- model checking
- computation tree logic
- reachability analysis
- theorem prover
- theorem proving
- linear time temporal logic
- expressive power
- temporal logic
- neural network
- inference rules
- datalog programs
- parametric models
- knowledge representation
- real time systems
- software development
- expert systems
- genetic algorithm