Accepted Contributions
Alvaro Caballero1 and Giuseppe Silano, Automating Bird Diverter Installation through Multi-Aerial Robots and Signal Temporal Logic Specifications.
Ziyi Zhou, Eohan George, and Ye Zhao, Bridge Mixed-Integer Convex Program and Linear Temporal Logic: Reactive Gait Synthesis and Footstep Planning for Agile Perceptive Locomotion.
Yanwei Wang, Nadia Figueroa, Shen Li, Ankit Shah, and Julie Shah, Temporal Logic Imitation.
Zhaoyuan Gu, Rongming Guo, William Yates, Nathan Boyd, and Ye Zhao, Signal Temporal Logic-Guided Model Predictive Control for Robust Bipedal Locomotion Resilient to Runtime Terrain Perturbations.
Jesse Jiang, Samuel Coogan, and Ye Zhao, Interval MDPs for Optimal Robotic Motion Planning with Temporal Logic Constraints.
Apala Pramanik, Kyungki Kim, and Hoang-Dung Tran, Vision-based Runtime Monitoring for Human-Construction Robot Systems.
Keyvan Majd, Georgios Fainekos, Heni Ben Amor, Neural Network Repair for Ensuring Safety in Assistive Device Control.
Takumi Hara, Takashi Sato, and Hiromitsu Awano, Preventing Undesired Guidance in Haptic Shared Control Using Neural Networks through Loss Function Adjustment.
Lin Song, Sheng Cheng, and Naira Hovakimyan, Meta-Learning-Inspired Control Auto-Tuning with Verified Robustness.
Keyvan Majd, Georgios Fainekos, and Heni Ben Amor, Safety-aware Expansion for Neural Network Repair.
Xusheng Luo, Shaojun Xu, Ruixuan Liu, and Changliu Liu, Robotic Planning under Hierarchical Temporal Logic Specifications.