RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems.
Valentina CastiglioniMichele LoretiSimone TiniPublished in: CoRR (2022)
Keyphrases
- temporal logic
- cyber physical systems
- model checking
- modal logic
- cyber physical
- belief revision
- computation tree logic
- transition systems
- physical world
- cyber security
- temporal knowledge
- linear temporal logic
- verification method
- reactive systems
- social networks
- mazurkiewicz traces
- critical infrastructure
- communication networks
- access control