Time optimal reachability analysis using swarm verification.

Zhengkui Zhang Brian Nielsen Kim G. Larsen

Published in: SAC (2016)

Keyphrases

reachability analysis
model checking
optimal solution
dynamic programming
particle swarm optimization
optimal control
data mining
probability distribution
temporal logic