Browsing by Author "Ozay, Necmiye"
Now showing items 1-1 of 1
-
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
Mohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stephane; Ozay, Necmiye (Elsevier BV, 2021)This paper proposes a method to synthesise controllers for systems with possibly infinite number of states that satisfy a specification given as an LTL\◦ formula. A common approach to handle this problem is to first compute ...
Co-authors for Necmiye Ozay
Necmiye Ozay has 4 co-authors in Research Commons.