Picture for Georgios Fainekos

Georgios Fainekos

Repairing Neural Networks for Safety in Robotic Systems using Predictive Models

Add code
Nov 07, 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

Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics

Add code
Mar 12, 2023
Viaarxiv icon