activity
20232026
most citedThe Boundaries of Verifiable Accuracy, Robustness, and Generalisation in Deep Learning

7 citations · 9 across the 9 of their papers we have counts for

collaborators
Showing 2024Show all

6 papers · 1 filter

cs.RO2024

Risk-aware MPPI for Stochastic Hybrid Systems

Hardik Parwana, Mitchell Black, Bardh Hoxha +4

Path Planning for stochastic hybrid systems presents a unique challenge of predicting distributions of future states subject to a state-dependent dynamics switching function. In th…

cs.RO2024

Querying Perception Streams with Spatial Regular Expressions

Jacob Anderson, Georgios Fainekos, Bardh Hoxha +2

Perception in fields like robotics, manufacturing, and data analysis generates large volumes of temporal and spatial data to effectively capture their environments. However, sortin…

cs.CV2024

From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events

Yan Miao, Georgios Fainekos, Bardh Hoxha +3

Testing Automated Driving Systems (ADS) in simulation with realistic driving scenarios is important for verifying their performance. However, converting real-world driving videos i…

cs.RO2024★ 2 cited

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions

Hardik Parwana, Mitchell Black, Georgios Fainekos +3

The rapid advancement of robotics necessitates robust tools for developing and testing safe control architectures in dynamic and uncertain environments. Ensuring safety and reliabi…

cs.RO2024

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications

Mitchell Black, Georgios Fainekos, Bardh Hoxha +2

This paper introduces CBFKit, a Python/ROS toolbox for safe robotics planning and control under uncertainty. The toolbox provides a general framework for designing control barrier…

eess.SY2024

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout

Navid Hashemi, Bardh Hoxha, Danil Prokhorov +2

This paper introduces a model-based approach for training feedback controllers for an autonomous agent operating in a highly nonlinear (albeit deterministic) environment. We desire…