research
∙
06/05/2023
Integer Programming Games: A Gentle Computational Overview
In this tutorial, we present a computational overview on computing Nash ...
share
research
∙
03/12/2023
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics
Guaranteeing safety in human-centric applications is critical in robot l...
research
∙
03/08/2023
Safe Robot Learning in Assistive Devices through Neural Network Repair
Assistive robotic devices are a particularly promising field of applicat...
research
∙
05/24/2022
Mathematical Models of Human Drivers Using Artificial Risk Fields
In this paper, we use the concept of artificial risk fields to predict h...
research
∙
01/12/2022
Cooperative Security Against Interdependent Risks
Firms in inter-organizational networks such as supply chains or strategi...
research
∙
11/15/2021
ZERO: Playing Mathematical Programming Games
We present ZERO, a modular and extensible C++ library interfacing Mathem...
research
∙
11/10/2021
The Cut and Play Algorithm: Computing Nash Equilibria via Outer Approximations
The concept of Nash equilibrium enlightens the structure of rational beh...
research
∙
09/28/2021
Local Repair of Neural Networks Using Optimization
In this paper, we propose a framework to repair a pre-trained feed-forwa...
research
∙
08/03/2021
Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference
We propose a predictive runtime monitoring framework that forecasts the ...
research
∙
07/30/2021
Validation of RELU nets with tropical polyhedra
This paper studies the problem of range analysis for feedforward neural ...
research
∙
01/18/2020
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances
Control Barrier Functions (CBF) have been recently utilized in the desig...
research
∙
12/17/2019
A learning-based algorithm to quickly compute good primal solutions for Stochastic Integer Programs
We propose a novel approach using supervised learning to obtain near-opt...
research
∙
10/14/2019
When Nash Meets Stackelberg
We analyze Nash games played among leaders of Stackelberg games (), and ...
research
∙
10/14/2019
Nash Games Among Stackelberg Leaders
We analyze Nash games played among leaders of Stackelberg games (NASP). ...
research
∙
07/23/2019
Efficient Detection and Quantification of Timing Leaks with Neural Networks
Detection and quantification of information leaks through timing side ch...
research
∙
04/14/2018
Path-Following through Control Funnel Functions
We present an approach to path following using so-called control funnel ...
research
∙
11/29/2017