Sign in
HHLPy: Practical Verification of Hybrid Systems using Hoare Logic.
Huanhuan Sheng
Alexander Bentkamp
Bohua Zhan
Published in:
CoRR (2022)
Keyphrases
</>
hybrid systems
meta learning
intelligent systems
black box
computational intelligence
neural network
soft computing
artificial intelligence
logic programming
discrete event
real world