Picture for Bardh Hoxha

Bardh Hoxha

Risk-aware MPPI for Stochastic Hybrid Systems

Add code
Nov 14, 2024
Viaarxiv icon

Neural Configuration Distance Function for Continuum Robot Control

Add code
Sep 20, 2024
Viaarxiv icon

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

Add code
Jul 18, 2024
Viaarxiv icon

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications

Add code
Apr 10, 2024
Viaarxiv icon

Scaling Learning based Policy Optimization for Temporal Tasks via Dropout

Add code
Mar 23, 2024
Figure 1 for Scaling Learning based Policy Optimization for Temporal Tasks via Dropout
Figure 2 for Scaling Learning based Policy Optimization for Temporal Tasks via Dropout
Figure 3 for Scaling Learning based Policy Optimization for Temporal Tasks via Dropout
Figure 4 for Scaling Learning based Policy Optimization for Temporal Tasks via Dropout
Viaarxiv icon

SMT-Based Dynamic Multi-Robot Task Allocation

Add code
Mar 18, 2024
Viaarxiv icon

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation

Add code
Dec 12, 2023
Viaarxiv icon

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions

Add code
Nov 28, 2023
Viaarxiv icon

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

Add code
Nov 16, 2023
Viaarxiv icon

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems

Add code
Mar 07, 2023
Figure 1 for A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Figure 2 for A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Figure 3 for A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Figure 4 for A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Viaarxiv icon