Login / Signup
On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation.
Salwa Habbachi
Imene Ben Hafaiedh
Zhiwu Li
Moez Krichen
Published 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