6 citations · 7 across the 2 of their papers we have counts for
2 papers
eess.SY2022★ 1 cited
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs
Jonas Krook, Robi Malik, Sahar Mohajerani +1
This paper proposes a method to synthesise controllers for cyber-physical systems such that the controlled systems satisfy specifications given as linear temporal logic formulas. T…
cs.FL2011★ 6 cited
A State-Based Characterisation of the Conflict Preorder
Simon Ware, Robi Malik
This paper proposes a way to effectively compare the potential of processes to cause conflict. In discrete event systems theory, two concurrent systems are said to be in conflict i…