3 citations · 6 across the 7 of their papers we have counts for
5 papers · 1 filter
Learning Certifiably Robust Controllers Using Fragile Perception
Dawei Sun, Negin Musavi, Geir Dullerud +2
Advances in computer vision and machine learning enable robots to perceive their surroundings in powerful new ways, but these perception modules have well-known fragilities. We con…
Multi-agent Motion Planning from Signal Temporal Logic Specifications
Dawei Sun, Jingkai Chen, Sayan Mitra +1
We tackle the challenging problem of multi-agent cooperative motion planning for complex tasks described using signal temporal logic (STL), where robots can have nonlinear and nonh…
CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh +6
Programming languages, libraries, and development tools have transformed the application development processes for mobile computing and machine learning. This paper introduces the…
Online monitoring for safe pedestrian-vehicle interactions
Peter Du, Zhe Huang, Tianqi Liu +5
As autonomous systems begin to operate amongst humans, methods for safe interaction must be investigated. We consider an example of a small autonomous vehicle in a pedestrian zone…
Porting Code Across Simple Mobile Robots
Yixiao Lin, Sayan Mitra, Shuting Li
The StarL programming framework aims to simplify development of distributed robotic applications by providing easy-to-use language constructs for communication and control. It has…