David Gundana

Cornell University

Papers

3

Total Citations

17

H-Index

2

About

No biography available yet.

Research Focus

Robot3 · 17 citations
Computer science3 · 17 citations
Artificial intelligence3 · 17 citations
Temporal logic2 · 15 citations
Engineering2 · 15 citations
Event (particle physics)2 · 15 citations
Programming language2 · 15 citations
Real-time computing2 · 15 citations
SIGNAL (programming language)2 · 15 citations
Distributed computing1 · 13 citations
Event calculus1 · 13 citations
Control engineering1 · 13 citations

Key Achievements

2
H-Index
3
Papers
17
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments
13 citations · 2022
📈 Most Prolific Year: 2023 (2 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Cornell University

Top Papers

  1. 1
    Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments
    13 citations · 2022
  2. 2
    Nudging or Waiting?
    2 citations · 2023
  3. 3
    Online Modifications for Event-Based Signal Temporal Logic Specifications
    2 citations · 2023

Key Collaborators

HKHadas Kress‐Gazit3 shared papersYHYuhan Hu1 shared papersGHGuy Hoffman1 shared papersJRJin Ryu1 shared papersKPKirstin Petersen1 shared papers
Not generated yet