Login / Signup

Rigorous Simulation-Based Analysis of Linear Hybrid Systems.

Stanley BakParasara Sridhar Duggirala
Published in: TACAS (1) (2017)
Keyphrases
  • hybrid systems
  • neural network
  • artificial intelligence
  • training data
  • data analysis
  • orders of magnitude
  • discrete event