Specification Patterns for Robotic Missions

7 January 2019

Papers citing "Specification Patterns for Robotic Missions"

5 / 5 papers shown

Title
SPINE: Online Semantic Planning for Missions with Incomplete Natural Language Specifications in Unstructured Environments Zachary Ravichandran Varun Murali Mariliza Tzes George J. Pappas Vijay Kumar LRM 85 10 0 03 Oct 2024
Verifiably Following Complex Robot Instructions with Foundation Models Benedict Quartey Eric Rosen Stefanie Tellex George Konidaris LM&Ro 114 13 0 18 Feb 2024
Formal Specification and Verification of Autonomous Robotic Systems: A Survey Matt Luckcuck M. Farrell Louise A. Dennis C. Dixon Michael Fisher 122 160 0 29 Jun 2018
Extended LTLvis Motion Planning interface (Extended Technical Report) Wei Wei Kangjin Kim Georgios Fainekos 36 8 0 05 Jul 2016
Optimal Multi-Robot Path Planning with Temporal Logic Constraints A. Ulusoy Stephen L. Smith X. Ding C. Belta Daniela Rus 62 42 0 30 Jun 2011