LTL Parameter Synthesis of Parametric Timed Automata.
Peter BezdekNikola BenesJiri BarnatIvana CernáPublished in: SEFM (2016)
Keyphrases
- timed automata
- model checking
- temporal logic
- reachability analysis
- bounded model checking
- formal verification
- linear temporal logic
- linear time temporal logic
- parameter values
- first order logic
- transition systems
- parameter settings
- theorem proving
- database
- heuristic search
- state space
- hidden markov models
- case study