Login / Signup

Towards a Statistical Model Checking Method for Safety-Critical Cyber-Physical System Verification.

Jian XieWenan TanBingWu FangZhiqiu Huang
Published in: Secur. Commun. Networks (2021)
Keyphrases
  • model checking
  • verification method
  • temporal logic
  • artificial intelligence
  • decision making
  • cooperative
  • computational intelligence
  • formal verification
  • model checker
  • machine learning
  • formal methods
  • safety critical