David Gundana

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Satisfiability Problem

Mazurkiewicz Traces

Concurrent Systems

Verification Method

Top Venues

IEEE Robotics Autom. Lett.

Publications

David Gundana, Hadas Kress-Gazit
Online Modifications for Event-Based Signal Temporal Logic Specifications. IEEE Robotics Autom. Lett. 9 (8) (2024)
David Gundana, Hadas Kress-Gazit
Online Modifications for Event-based Signal Temporal Logic Specifications. CoRR (2023)
Yuhan Hu, Jin Ryu, David Gundana, Kirstin H. Petersen, Hadas Kress-Gazit, Guy Hoffman
Nudging or Waiting?: Automatically Synthesized Robot Strategies for Evacuating Noncompliant Users in an Emergency Situation. HRI (2023)
David Gundana, Hadas Kress-Gazit
Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments. IEEE Robotics Autom. Lett. 7 (4) (2022)
David Gundana, Hadas Kress-Gazit
Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks. IEEE Robotics Autom. Lett. 6 (2) (2021)
David Gundana, Hadas Kress-Gazit
Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks. CoRR (2020)
David Gundana, Robert Austin Dollar, Ardalan Vahidi
To Merge Early or Late: Analysis of Traffic Flow and Energy Impact in a Reduced Lane Scenario. ITSC (2018)