NP-completeness of the supervisor synthesis problem for unrestricted CTL specifications

Bhubaneswar Mishra, Marco Antoniotti

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationWorkshop on discrete event systems
Subtitle of host publicationWODES '96 Edinburgh, Scotland, UK August 19-21, 1996
StatePublished - 1996

Cite this

Mishra, B., & Antoniotti, M. (1996). NP-completeness of the supervisor synthesis problem for unrestricted CTL specifications. In Workshop on discrete event systems: WODES '96 Edinburgh, Scotland, UK August 19-21, 1996

NP-completeness of the supervisor synthesis problem for unrestricted CTL specifications. / Mishra, Bhubaneswar; Antoniotti, Marco.

Workshop on discrete event systems: WODES '96 Edinburgh, Scotland, UK August 19-21, 1996. 1996.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mishra, B & Antoniotti, M 1996, NP-completeness of the supervisor synthesis problem for unrestricted CTL specifications. in Workshop on discrete event systems: WODES '96 Edinburgh, Scotland, UK August 19-21, 1996.
Mishra B, Antoniotti M. NP-completeness of the supervisor synthesis problem for unrestricted CTL specifications. In Workshop on discrete event systems: WODES '96 Edinburgh, Scotland, UK August 19-21, 1996. 1996
Mishra, Bhubaneswar ; Antoniotti, Marco. / NP-completeness of the supervisor synthesis problem for unrestricted CTL specifications. Workshop on discrete event systems: WODES '96 Edinburgh, Scotland, UK August 19-21, 1996. 1996.
@inproceedings{2710ce0cefb14a5597557287787befbe,
title = "NP-completeness of the supervisor synthesis problem for unrestricted CTL specifications",
author = "Bhubaneswar Mishra and Marco Antoniotti",
year = "1996",
language = "English (US)",
booktitle = "Workshop on discrete event systems",

}

TY - GEN

T1 - NP-completeness of the supervisor synthesis problem for unrestricted CTL specifications

AU - Mishra, Bhubaneswar

AU - Antoniotti, Marco

PY - 1996

Y1 - 1996

M3 - Conference contribution

BT - Workshop on discrete event systems

ER -