![]() Music |
![]() Video |
![]() Movies |
![]() Chart |
![]() Show |
![]() |
Time-Robust Control for STL Specifications -- CDC 2021 (Alëna Rodionova) View |
![]() |
Differentiable Moving Horizon Estimation for Robust Flight Control (IEEE CDC 2021) (CORE Lab@NUS) View |
![]() |
Correct-by-Design Control of Parametric Stochastic Systems @CDC 2022 (Oliver Schön) View |
![]() |
The STL Robustness Risk over Discrete-Time Stochastic Processes (Lars Lindemann) View |
![]() |
Temporal Robustness of Stochastic Signals (Lars Lindemann) View |
![]() |
Robust CBF-CLF with Fixed-time Convergence (Kunal Garg) View |
![]() |
Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications (Lars Lindemann) View |
![]() |
Conference on Decision and Control (CDC) 2021 - GNN-RL for Autonomous Mobility on Demand Systems (Daniele Gammelli) View |
![]() |
[IROS 2022] Robust Counterexample-guided Optimization from Differentiable Temporal Logic (Charles Dawson) View |
![]() |
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications (Association for Computing Machinery (ACM)) View |