Login / Signup
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.
Simon Foster
Jonathan Julián Huerta y Munive
Mario Gleirscher
Georg Struth
Published in:
CoRR (2021)
Keyphrases
</>
hybrid systems
theorem prover
natural deduction
theorem proving
discrete event
neural network
artificial intelligence
inference rules
machine learning methods
dynamic systems
meta learning
formal methods