Sahar Mohajerani

Available identifiers

zbMath Open mohajerani.saharMaRDI QIDQ262427

List of research outcomes

Publication	Date of Publication	Type
Robust stutter bisimulation for abstraction and controller synthesis with disturbance	2024-02-13	Paper
A survey on compositional algorithms for verification and synthesis in supervisory control	2023-10-04	Paper
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications	2021-11-19	Paper
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement	2020-10-07	Paper
Transforming Opacity Verification to Nonblocking Verification in Modular Systems	2020-10-07	Paper
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors	2017-05-16	Paper
Compositional synthesis of supervisors in the form of state machines and state maps	2017-01-11	Paper
A framework for compositional nonblocking verification of extended finite-state machines	2016-03-29	Paper

Research outcomes over time

This page was built for person: Sahar Mohajerani