Login / Signup

An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract).

Bernard BoigelotLouis BronneStéphane Rassart
Published in: CAV (1997)
Keyphrases
  • extended abstract
  • feature set
  • reachability analysis
  • machine learning methods
  • hybrid systems
  • learning algorithm
  • model selection