Nondeterminism avoidance in compositional synthesis of discrete event systems. - Sahar Mohajerani; Robi Malik; Martin Fabian (CASE, 2011)

Transition removal for compositional supervisor synthesis. - Sahar Mohajerani; Robi Malik; Martin Fabian (CASE, 2012)

An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. - Sahar Mohajerani; Robi Malik; Martin Fabian (WODES, 2012)

Compositional nonblocking verification for extended finite-state automata using partial unfolding. - Sahar Mohajerani; Robi Malik; Martin Fabian (CASE, 2013)

Certainly Unsupervisable States. - Simon Ware; Robi Malik; Sahar Mohajerani; Martin Fabian (FTSCS, 2013)

An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines. - Sahar Mohajerani; Robi Malik; Martin Fabian (WODES, 2014)

A Framework for Compositional Synthesis of Modular Nonblocking Supervisors. - Sahar Mohajerani; Robi Malik; Martin Fabian (IEEE Trans. Autom. Control., 2014)

On Compositional Approaches for Discrete Event Systems Verification and Synthesis. - Sahar Mohajerani (2015)

A framework for compositional nonblocking verification of extended finite-state machines. - Sahar Mohajerani; Robi Malik; Martin Fabian (Discret. Event Dyn. Syst., 2016)

Application of formal verification to the lane change module of an autonomous vehicle. - Anton Zita; Sahar Mohajerani; Martin Fabian (CASE, 2017)

Compositional synthesis of supervisors in the form of state machines and state maps. - Sahar Mohajerani; Robi Malik; Martin Fabian (Autom., 2017)

Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions. - Sahar Mohajerani; Yiding Ji; Stéphane Lafortune (CDC, 2018)

Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement. - Sahar Mohajerani; Yiding Ji; Stéphane Lafortune (IEEE Trans. Autom. Control., 2020)

Transforming Opacity Verification to Nonblocking Verification in Modular Systems. - Sahar Mohajerani; Stéphane Lafortune (IEEE Trans. Autom. Control., 2020)

Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. - Sahar Mohajerani; Robi Malik; Andrew Wintenberg; Stéphane Lafortune; Necmiye Ozay (Autom., 2021)

Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs. - Jonas Krook; Robi Malik; Sahar Mohajerani; Martin Fabian (CoRR, 2022)

A survey on compositional algorithms for verification and synthesis in supervisory control. - Robi Malik; Sahar Mohajerani; Martin Fabian (Discret. Event Dyn. Syst., 2023)

Robust stutter bisimulation for abstraction and controller synthesis with disturbance. - Jonas Krook; Robi Malik; Sahar Mohajerani; Martin Fabian (Autom., 2024)