共 50 条
- [1] On the Need for Communication in Distributed Implementations of LTL Motion Specifications 2010 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2010, : 4451 - 4456
- [2] Multi-robot Deployment From LTL Specifications with Reduced Communication 2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 4867 - 4872
- [3] Synthesis of Output Feedback Control for Motion Planning Based on LTL Specifications 2009 IEEE-RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, 2009, : 5071 - 5075
- [4] A Probabilistic Approach for Control of a Stochastic System from LTL Specifications PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 2236 - 2241
- [5] Synthesis from LTL Specifications with Mean-Payoff Objectives TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 169 - 184
- [6] Distributed Path Planning of Mobile Robots with LTL Specifications 2020 24TH INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2020, : 60 - 65
- [7] From global specifications to distributed implementations SYNTHESIS AND CONTROL OF DISCRETE EVENT SYSTEMS, 2002, : 19 - 35
- [8] Decentralized Runtime Verification of LTL Specifications in Distributed Systems 2015 IEEE 29TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), 2015, : 494 - 503
- [9] Finite State Control of POMDPs with LTL Specifications 2014 AMERICAN CONTROL CONFERENCE (ACC), 2014, : 501 - 508
- [10] A fully automated framework for control of linear systems from LTL specifications HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 333 - 347