Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks D Gundana, H Kress-Gazit IEEE Robotics and Automation Letters 6 (2), 3687-3694, 2021 | 49 | 2021 |
Event-based signal temporal logic tasks: Execution and feedback in complex environments D Gundana, H Kress-Gazit IEEE Robotics and Automation Letters 7 (4), 10001-10008, 2022 | 11 | 2022 |
To merge early or late: Analysis of traffic flow and energy impact in a reduced lane scenario D Gundana, RA Dollar, A Vahidi 2018 21st international conference on intelligent transportation systems …, 2018 | 7 | 2018 |
Nudging or waiting? automatically synthesized robot strategies for evacuating noncompliant users in an emergency situation Y Hu, J Ryu, D Gundana, KH Petersen, H Kress-Gazit, G Hoffman Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot …, 2023 | 3 | 2023 |
Online Modifications for Event-based Signal Temporal Logic Specifications D Gundana, H Kress-Gazit IEEE Robotics and Automation Letters, 2023 | | 2023 |