Login / Signup

A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx.

Sergiy BogomolovGoran FrehseRadu GrosuHamed LadanAndreas PodelskiMartin Wehrle
Published in: CAV (2012)
Keyphrases
  • reachability analysis
  • markov decision processes
  • model checking
  • timed automata
  • distance measure
  • image features
  • input image
  • distance function
  • state space
  • keypoints
  • euclidean distance
  • steady state