Reachability Preservation Based Parameter Synthesis for Timed Automata.
Étienne AndréGiuseppe LipariHoang Gia NguyenYoucheng SunPublished in: NFM (2015)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- theorem proving
- state space
- first order logic
- program synthesis
- parameter values
- artificial intelligence
- texture synthesis
- parameter tuning
- parameter settings
- single parameter
- digital objects
- real time
- dynamic programming
- objective function
- website
- data mining