Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations.

Mohamed Amin Ben Sassi Romain Testylier Thao Dang Antoine Girard

Published in: ATVA (2012)

Keyphrases

reachability analysis
complex systems
search space
evolutionary algorithm
simulated annealing
real time systems