Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP
Abstract elided by the publisher.
Related papers
- ROSpec: A Domain-Specific Language for ROS-Based Robot Software OOPSLA 2025
- High-level mission specification for multiple robots SLE 2019
- Behavior trees in action: a study of robotics applications SLE 2020
- Functional reactive programming from first principles PLDI 2000
- Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks PLDI 2026
- Koord: a language for programming and verifying distributed robotics application OOPSLA 2020
- Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations OOPSLA 2025
- AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems CAV 2020