Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems

HSU-CHUN YEN2018-09-102018-09-102008-01http://scholars.lib.ntu.edu.tw/handle/123456789/342599Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systemsjournal article10.1142/S01290541080060912-s2.0-49449114318WOS:000258291000018