• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Time optimal reachability analysis using swarm verification.

Zhengkui ZhangBrian NielsenKim 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