Intertwined Global Optimization Based Reachability Analysis.
Ibtissem SeghaierSofiène TaharPublished in: VECoS (2017)
Keyphrases
- global optimization
- reachability analysis
- model checking
- markov decision processes
- timed automata
- ant colony algorithm
- incremental algorithms
- particle swarm optimization
- global search
- pso algorithm
- image completion
- evolutionary programming
- state space
- global optima
- deterministic annealing
- constrained global optimization
- search capabilities
- inverse problems
- global solution
- semi supervised
- convergence speed
- linear program
- reinforcement learning
- image sequences
- machine learning