Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking.
Andrei MunteanuMichele PasquaMassimo MerroPublished in: FormaliSE@ICSE (2020)
Keyphrases
- machine learning
- model checking
- cyber physical
- impact analysis
- temporal logic
- social networks
- dependency analysis
- model checker
- formal verification
- formal specification
- physical world
- data mining
- formal methods
- computation tree logic
- software development
- source code
- situation awareness
- artificial intelligence
- physical space
- verification method
- life cycle
- control system
- cyber physical systems