Verification of initial-state opacity in security applications of discrete event systems.
Anooshiravan SabooriChristoforos N. HadjicostisPublished in: Inf. Sci. (2013)
Keyphrases
- initial state
- discrete event systems
- petri net
- telecommunication networks
- model based diagnosis
- complex systems
- situation calculus
- discrete event
- failure diagnosis
- timed petri nets
- stationary distribution
- state space
- dynamic systems
- model checking
- optimal policy
- probability distribution
- action theories
- learning algorithm
- linear program
- formal verification
- computational complexity
- conformant planning
- machine learning