Temporal Logic Resilience for Cyber-Physical Systems.
Adnane SaoudPushpak JagtapSadegh SoudjaniPublished in: CDC (2023)
Keyphrases
- temporal logic
- cyber physical systems
- cyber physical
- model checking
- physical world
- cyber security
- modal logic
- belief revision
- embedded systems
- mazurkiewicz traces
- computation tree logic
- temporal knowledge
- critical infrastructure
- social networks
- verification method
- linear temporal logic
- transition systems
- low cost
- data mining