Sign in
How to model and prove hybrid systems with KeYmaera: a tutorial on safety.
Jan-David Quesel
Stefan Mitsch
Sarah M. Loos
Nikos Aréchiga
André Platzer
Published in:
Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
</>
discrete event
artificial intelligence
mathematical model
hybrid systems
simulation model
soft computing