Sign in

HHLPy: Practical Verification of Hybrid Systems using Hoare Logic.

Huanhuan ShengAlexander BentkampBohua 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