Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications

13 March 2024

Romulo Meira-Goes

Papers citing "Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications"

2 / 2 papers shown

Title
Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning Parv Kapoor Sai H. Vemprala Ashish Kapoor 39 1 0 09 Aug 2024
Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems Changjian Zhang Parv Kapoor Eunsuk Kang Romulo Meira-Goes David Garlan Akila Ganlath Shatadal Mishra N. Ammar 36 0 0 24 Jun 2024