Publications

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