共 50 条
- [32] On Infusing Reachability-Based Safety Assurance Within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions [J]. PROCEEDINGS OF THE 2018 INTERNATIONAL SYMPOSIUM ON EXPERIMENTAL ROBOTICS, 2020, 11 : 561 - 574
- [34] A flat reachability-based measure for CakeML's cost semantics [J]. PROCEEDINGS OF THE 2021 33RD SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2021, 2021, : 1 - 9
- [35] Reachability-based Human-in-the-Loop Control with Uncertain Specifications [J]. IFAC PAPERSONLINE, 2020, 53 (02): : 1880 - 1887
- [36] A Reachability-Based Planner for Sequences of Acyclic Contacts in Cluttered Environments [J]. ROBOTICS RESEARCH, VOL 2, 2018, 3 : 287 - 303
- [37] Reducing memory requirements in reachability-based finite automata operations [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2004, 34 (03): : 239 - 248
- [38] Speeding up probabilistic roadmap planners with locality-sensitive hashing [J]. ROBOTICA, 2015, 33 (07) : 1491 - 1506
- [39] Choosing good distance metrics and local planners for probabilistic roadmap methods [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2000, 16 (04): : 442 - 447
- [40] Choosing good distance metrics and local planners for probabilistic roadmap methods [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-4, 1998, : 630 - 637