Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization

1 October 2021

Papers citing "Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization"

4 / 4 papers shown

Title
Autonomous Vehicles Path Planning under Temporal Logic SpecificationsBrazilian Symposium on Formal Methods (SBMF), 2024 Akshay Dhonthi Nicolas Schischka E. M. Hahn Vahid Hashemi 91 0 0 10 Oct 2024
Robust STL Control Synthesis under Maximal Disturbance Sets Joris Verhagen Lars Lindemann Jana Tumova 111 2 0 08 Apr 2024
Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic ConstraintsIEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2022 Akshay Dhonthi Philipp Schillinger Leonel Rozo Daniele Nardi 160 7 0 07 Sep 2022
Learning Performance Graphs from Demonstrations via Task-Based EvaluationsIEEE Robotics and Automation Letters (RA-L), 2022 Aniruddh Gopinath Puranic Jyotirmoy V. Deshmukh Stefanos Nikolaidis OffRL 138 5 0 12 Apr 2022