 Inference of Human-derived Specifications of Object Placement via DemonstrationInternational Joint Conference on Artificial Intelligence (IJCAI), 2025 |
 LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models IntegrationInternational Joint Conference on Artificial Intelligence (IJCAI), 2024 |
 QTWTL: Quality Aware Time Window Temporal Logic for Performance
MonitoringInternational Conference on Formal Methods and Models for Co-Design (MEMOCODE), 2023 |
 Learning Spatio-Temporal Specifications for Dynamical SystemsConference on Learning for Dynamics & Control (L4DC), 2021 |
 Neural Network-based Control for Multi-Agent Systems from
Spatio-Temporal SpecificationsIEEE Conference on Decision and Control (CDC), 2021 |
