Sign in

Blending kinematic and software models for tighter reachability analysis.

Carl HildebrandtSebastian G. ElbaumNicola Bezzo
Published in: ICSE (NIER) (2020)
Keyphrases
  • upper bound
  • reachability analysis
  • search space
  • reinforcement learning
  • probabilistic model
  • computer systems
  • software systems
  • dynamical systems
  • timed automata