Publications

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