The following pages link to Anooshiravan Saboori (Q497278):
Displaying 6 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)
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions (Q5352804) (← links)
- Verification of Infinite-Step Opacity and Complexity Considerations (Q5352820) (← links)
- Correction to: ``Current-state opacity formulations in probabilistic finite automata'' (Q6588638) (← links)
