Login / Signup

A Forward Reachability Perspective on Robust Control Invariance and Discount Factors in Reachability Analysis.

Jason J. ChoiDonggun LeeBoyang LiJonathan P. HowKoushil SreenathSylvia L. HerbertClaire J. Tomlin
Published in: CoRR (2023)
Keyphrases
  • reachability analysis
  • model checking
  • viewpoint
  • state space
  • factors affecting
  • machine learning
  • learning algorithm
  • temporal logic
  • robust stability
  • illumination invariance