no code implementations • 8 Feb 2024 • Boyi Li, Yue Wang, Jiageng Mao, Boris Ivanovic, Sushant Veer, Karen Leung, Marco Pavone
Adapting driving behavior to new environments, customs, and laws is a long-standing problem in autonomous driving, precluding the widespread deployment of autonomous vehicles (AVs).
1 code implementation • 22 Sep 2023 • Aadhar Chauhan, Isaac Remy, Danny Broyles, Karen Leung
Detecting humans from airborne visual and thermal imagery is a fundamental challenge for Wilderness Search-and-Rescue (WiSAR) teams, who must perform this function accurately in the face of immense pressure.
no code implementations • 8 Sep 2023 • Daniel Broyles, Christopher R. Hayner, Karen Leung
Unfortunately, visual sensors alone do not address the need for robustness across all the possible terrains, weather, and lighting conditions that WiSAR operations can be conducted in.
1 code implementation • 4 Apr 2023 • Christopher R. Hayner, Samuel C. Buckner, Daniel Broyles, Evelyn Madewell, Karen Leung, Behcet Acikmese
With autonomous aerial vehicles enacting safety-critical missions, such as the Mars Science Laboratory Curiosity rover's landing on Mars, the tasks of automatically identifying and reasoning about potentially hazardous landing sites is paramount.
no code implementations • 30 Jul 2021 • Karen Leung, Andrea Bajcsy, Edward Schmerling, Marco Pavone
As safety-critical autonomous vehicles (AVs) will soon become pervasive in our society, a number of safety concepts for trusted AV deployment have recently been proposed throughout industry and academia.
1 code implementation • 2 Dec 2020 • Simon Schaefer, Karen Leung, Boris Ivanovic, Marco Pavone
To achieve seamless human-robot interactions, robots need to intimately reason about complex interaction dynamics and future human behaviors within their motion planning process.
no code implementations • 10 Aug 2020 • Boris Ivanovic, Karen Leung, Edward Schmerling, Marco Pavone
Human behavior prediction models enable robots to anticipate how humans may react to their actions, and hence are instrumental to devising safe and proactive robot planning algorithms.
1 code implementation • 31 Jul 2020 • Karen Leung, Nikos Aréchiga, Marco Pavone
This paper presents a technique, named STLCG, to compute the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs.
no code implementations • 12 Sep 2019 • Nikos Arechiga, Jonathan DeCastro, Soonho Kong, Karen Leung
We describe the concept of logical scaffolds, which can be used to improve the quality of software that relies on AI components.
1 code implementation • 6 Mar 2018 • Boris Ivanovic, Edward Schmerling, Karen Leung, Marco Pavone
This work presents a methodology for modeling and predicting human behavior in settings with N humans interacting in highly multimodal scenarios (i. e. where there are many possible highly-distinct futures).
Robotics Human-Computer Interaction
1 code implementation • 25 Oct 2017 • Edward Schmerling, Karen Leung, Wolf Vollprecht, Marco Pavone
This paper presents a method for constructing human-robot interaction policies in settings where multimodality, i. e., the possibility of multiple highly distinct futures, plays a critical role in decision making.