Pareto Optimal Reachability Analysis for Simple Priced Timed Automata.
Zhengkui ZhangBrian NielsenKim Guldstrand LarsenGilles NiesMarvin StengerHolger HermannsPublished in: ICFEM (2017)
Keyphrases
- reachability analysis
- timed automata
- pareto optimal
- model checking
- markov decision processes
- theorem prover
- multi objective
- incremental algorithms
- first order logic
- temporal logic
- multiple objectives
- theorem proving
- pareto optimal set
- multi issue negotiation
- real time systems
- multi objective optimization
- state space
- nsga ii
- nash equilibrium
- pareto optimality
- optimal solution
- expected utility
- upper bound
- evolutionary algorithm
- artificial intelligence