HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic.

Huanhuan Sheng Alexander Bentkamp Bohua Zhan

Published in: FM (2023)

Keyphrases

hybrid systems
black box
neural network
intelligent systems
soft computing
computational intelligence
meta learning
discrete event
real world
model checking
artificial intelligence
logic programming
artificial neural networks
software engineering