On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation.
Salwa HabbachiImene Ben HafaiedhZhiwu LiMoez KrichenPublished in: VECoS (2023)
Keyphrases
- discrete event systems
- petri net
- complex systems
- model based diagnosis
- telecommunication networks
- failure diagnosis
- programming language
- discrete event
- timed petri nets
- language learning
- model checking
- natural language
- dynamic systems
- temporal constraints
- dynamical systems
- response time
- low level
- constraint satisfaction
- special case
- multi agent systems
- reinforcement learning