Publications

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