Login / Signup

Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety.

Jan-David QueselStefan MitschSarah M. LoosNikos AréchigaAndré Platzer
Published in: Int. J. Softw. Tools Technol. Transf. (2021)
Keyphrases
  • hybrid systems
  • mathematical model
  • search algorithm
  • discrete event
  • artificial intelligence
  • computational intelligence
  • knowledge acquisition
  • simulation model