共 50 条
- [21] Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications 2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2021, : 1321 - 1328
- [22] From asynchronous to synchronous specifications for distributed program synthesis SOFSEM 2008: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2008, 4910 : 162 - 173
- [24] Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications 2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 7448 - 7453
- [25] Automated Synthesis of Low-rank Control Systems from sc-LTL Specifications using Tensor-Train Decompositions 2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 1131 - 1138
- [26] Organising LTL monitors over distributed systems with a global clock Formal Methods in System Design, 2016, 49 : 109 - 158
- [29] Organising LTL Monitors over Distributed Systems with a Global Clock RUNTIME VERIFICATION, RV 2014, 2014, 8734 : 140 - 155
- [30] Organising LTL monitors over distributed systems with a global clock Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8734 : 140 - 155