To Merge Early or Late: Analysis of Traffic Flow and Energy Impact in a Reduced Lane Scenario. - David Gundana; Robert Austin Dollar; Ardalan Vahidi (ITSC, 2018)

Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks. - David Gundana; Hadas Kress-Gazit (IEEE Robotics Autom. Lett., 2021)

Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments. - David Gundana; Hadas Kress-Gazit (IEEE Robotics Autom. Lett., 2022)

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 (HRI, 2023)

Online Modifications for Event-Based Signal Temporal Logic Specifications. - David Gundana; Hadas Kress-Gazit (IEEE Robotics Autom. Lett., 2024)