共 50 条
- [5] Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis 2021 IEEE 17TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2021, : 777 - 783
- [7] CONGRESS AND THE COURTS - OUR MUTUAL OBLIGATION STANFORD LAW REVIEW, 1994, 46 (06) : 1285 - 1302