arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Sahar Mohajerani"" — arXiv2 Search
Showing 1–3 of 3 results
/ Date
/ Name
Apr 12, 2019
Transforming opacity verification to nonblocking verification in modular systems
Oct 1, 2019
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
May 27, 2022
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs