Language Emptiness of Continuous-Time Parametric Timed Automata.
Nikola BenesPeter BezdekKim Guldstrand LarsenJirí SrbaPublished in: ICALP (2) (2015)
Keyphrases
- timed automata
- model checking
- programming language
- reachability analysis
- markov chain
- natural language
- language learning
- theorem prover
- real time systems
- specification language
- first order logic
- low cost
- computational linguistics
- software systems
- optimal control
- context dependent
- conceptual graphs
- stochastic processes
- formal language
- general purpose
- information retrieval