Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications | 0 | 0.34 | 2021 |
Transforming opacity verification to nonblocking verification in modular systems. | 0 | 0.34 | 2019 |
Compositional synthesis of supervisors in the form of state machines and state maps. | 6 | 0.47 | 2017 |
Application Of Formal Verification To The Lane Change Module Of An Autonomous Vehicle | 0 | 0.34 | 2017 |
A framework for compositional nonblocking verification of extended finite-state machines | 6 | 0.50 | 2016 |
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors | 12 | 0.68 | 2014 |
An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines. | 2 | 0.40 | 2014 |
Compositional nonblocking verification for extended finite-state automata using partial unfolding | 3 | 0.46 | 2013 |
Certainly Unsupervisable States. | 0 | 0.34 | 2013 |
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. | 3 | 0.42 | 2012 |
Transition removal for compositional supervisor synthesis | 1 | 0.38 | 2012 |
Nondeterminism avoidance in compositional synthesis of discrete event systems. | 4 | 0.51 | 2011 |