3 citations · 10 across the 16 of their papers we have counts for
16 papers
Assured Autonomy with Neuro-Symbolic Perception
R. Spencer Hallyburton, Miroslav Pajic
Many state-of-the-art AI models deployed in cyber-physical systems (CPS), while highly accurate, are simply pattern-matchers.~With limited security guarantees, there are concerns f…
MARS: Defending Unmanned Aerial Vehicles From Attacks on Inertial Sensors with Model-based Anomaly Detection and Recovery
Haocheng Meng, Shaocheng Luo, Zhenyuan Liang +3
Unmanned Aerial Vehicles (UAVs) rely on measurements from Inertial Measurement Units (IMUs) to maintain stable flight. However, IMUs are susceptible to physical attacks, including…
On the Uniqueness of Solution for the Bellman Equation of LTL Objectives
Zetong Xuan, Alper Kamil Bozkurt, Miroslav Pajic +1
Surrogate rewards for linear temporal logic (LTL) objectives are commonly utilized in planning problems for LTL objectives. In a widely-adopted surrogate reward approach, two disco…
Bayesian Methods for Trust in Collaborative Multi-Agent Autonomy
R. Spencer Hallyburton, Miroslav Pajic
Multi-agent, collaborative sensor fusion is a vital component of a multi-national intelligence toolkit. In safety-critical and/or contested environments, adversaries may infiltrate…
ε-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment
Hao-Lun Hsu, Qitong Gao, Miroslav Pajic
Deep Brain Stimulation (DBS) stands as an effective intervention for alleviating the motor symptoms of Parkinson's disease (PD). Traditional commercial DBS devices are only able to…
RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles
David Hunt, Shaocheng Luo, Amir Khazraei +4
In this work, we present RadCloud, a novel real time framework for directly obtaining higher-resolution lidar-like 2D point clouds from low-resolution radar frames on resource-cons…