Login / Signup

Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations.

Hao RenRatnesh Kumar
Published in: IET Cyper-Phys. Syst.: Theory & Appl. (2019)
Keyphrases
  • hybrid systems
  • neural network
  • black box
  • decision trees
  • intelligent systems