The following pages link to Anooshiravan Saboori (Q497278):
Displaying 3 items.
- Verification of initial-state opacity in security applications of discrete event systems (Q497279) (← links)
- Robust nonblocking supervisory control of discrete-event systems under partial observation (Q2433426) (← links)
- Current-State Opacity Formulations in Probabilistic Finite Automata (Q2983295) (← links)
