Language Emptiness of Continuous-Time Parametric Timed Automata.
Nikola BenesPeter BezdekKim G. LarsenJirí SrbaPublished in: CoRR (2015)
Keyphrases
- timed automata
- model checking
- markov chain
- programming language
- reachability analysis
- natural language
- language learning
- optimal control
- theorem proving
- general purpose
- theorem prover
- operational semantics
- parametric models
- database
- relational databases
- iterative learning control
- neural network
- real time systems
- object oriented programming
- genetic algorithm
- learning algorithm
- state space
- dynamic programming