Login / Signup

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. (2016)
Keyphrases
  • discrete event
  • artificial intelligence
  • mathematical model
  • hybrid systems
  • simulation model
  • soft computing