Publications

Found 1 results
Author Title Type [ Year(Asc)]
Filters: Keyword is Supervisor Synthesis and Author is Marco Antoniotti  [Clear All Filters]
1995
Antoniotti, M., & Mishra B. (1995).  The Supervisor Synthesis Problem for Unrestricted CTL is NP-complete.