Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review.
Angela PappagalloAnnalisa MassiniEnrico TronciPublished in: Inf. (2020)
Keyphrases
- monte carlo
- model checking
- temporal logic
- cyber physical systems
- model checker
- formal verification
- markov chain
- finite state
- computation tree logic
- formal specification
- automated verification
- symbolic model checking
- bounded model checking
- particle filter
- optimal strategy
- epistemic logic
- monte carlo tree search
- physical world
- verification method
- machine learning
- cyber security
- decision problems
- intrusion detection
- real time
- alternating time temporal logic