共 50 条
- [32] Execution and Analysis of High-Level Tasks with Dynamic Obstacle Anticipation 2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2012, : 330 - 337
- [33] High-level motion control for workspace sharing mobile robots ROBOT MOTION AND CONTROL 2007, 2007, 360 : 427 - 436
- [34] Guaranteeing Reactive High-Level Behaviors for Robots with Complex Dynamics 2013 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2013, : 749 - 756
- [35] PERFORMANCE OF HIGH-LEVEL AND LOW-LEVEL CONTROL FOR COORDINATION OF MOBILE ROBOTS ICINCO 2010: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 2, 2010, : 63 - 71
- [39] Model checking safety properties in modular high-level nets APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 201 - 220
- [40] Generating Scenarios from High-Level Specifications for Object Rearrangement Tasks 2023 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2023, : 11420 - 11427