Search Results for author:
Found 5 papers, 0 papers with code
Swarm-STL: A Framework for Motion Planning in Large-Scale, Multi-Swarm Systems
Compared to the baseline multi-agent planning approach, our method maintains computational efficiency as the number of agents increases, since the computational time scales with the number of swarms rather than the number of agents.
Modeling and Designing Non-Pharmaceutical Interventions in Epidemics: A Submodular Approach
This paper considers the problem of designing non-pharmaceutical intervention (NPI) strategies, such as masking and social distancing, to slow the spread of a viral epidemic.
ParamsDrag: Interactive Parameter Space Exploration via Image-Space Dragging
Through experiments conducted on real-world simulations and comparisons with state-of-the-art deep learning-based approaches, we demonstrate the efficacy of our solution.
Cooperative Perception for Safe Control of Autonomous Vehicles under LiDAR Spoofing Attacks
In this paper, we propose an approach to detect and mitigate LiDAR spoofing attacks by leveraging LiDAR scan data from other neighboring vehicles.
Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks
We prove that the synthesized control input guarantees system safety using control barrier certificates.
