Login / Signup

Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems.

Li HuangTian LiangEun-Young Kang
Published in: ICECCS (2019)
Keyphrases
  • formal verification
  • automated verification
  • complex systems
  • artificial intelligence
  • management system
  • computer systems
  • dynamic environments
  • learning systems
  • orders of magnitude
  • model checking