-
Synthesis of Robotic System Controllers Using Robotic System Specification Language [Abstract]
-
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications [Abstract]
-
STL: Surprisingly Tricky Logic (for System Validation) [Abstract]
-
Real-Time RRT* with Signal Temporal Logic Preferences [Abstract]
-
Sensor Selection for Fine-Grained Behavior Verification That Respects Privacy [Abstract]
-
An Interactive System for Multiple-Task Linear Temporal Logic Path Planning [Abstract]
-
Temporal Logic-Based Intent Monitoring for Mobile Robots [Abstract]
-
Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems [Abstract]
-
Energy-Aware Planning of Heterogeneous Multi-Agent Systems for Serving Cooperative Tasks with Temporal Logic Specifications [Abstract]
-
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks [Abstract]
-
Minimal Path Violation Problem with Application to Fault Tolerant Motion Planning of Manipulators [Abstract]
-
Reinforcement Learning under Probabilistic Spatio-Temporal Constraints with Time Windows [Abstract]
-
Lie Group Formulation and Sensitivity Analysis for Shape Sensing of Variable Curvature Continuum Robots with General String Encoder Routing [Abstract]