David Gundana

According to our database, David Gundana authored at least 5 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Online Modifications for Event-based Signal Temporal Logic Specifications.

David Gundana, Hadas Kress-Gazit

CoRR, 2023

Nudging or Waiting?: Automatically Synthesized Robot Strategies for Evacuating Noncompliant Users in an Emergency Situation.

Yuhan Hu, Jin Ryu, David Gundana, Kirstin H. Petersen, Hadas Kress-Gazit, Guy Hoffman

Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, 2023

2022

Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments.

David Gundana, Hadas Kress-Gazit

IEEE Robotics Autom. Lett., 2022

2021

Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks.

David Gundana, Hadas Kress-Gazit

IEEE Robotics Autom. Lett., 2021

2018

To Merge Early or Late: Analysis of Traffic Flow and Energy Impact in a Reduced Lane Scenario.

David Gundana, Robert Austin Dollar, Ardalan Vahidi

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018