Login / Signup

Mean Value Form Enclosures for Nonlinear Reachability Analysis.

Kai ShenJoseph K. Scott
Published in: CDC (2018)
Keyphrases
  • reachability analysis
  • model checking
  • timed automata
  • markov decision processes
  • optimal solution
  • expert systems
  • temporal logic