activity
20122024
most citedOutput Range Analysis for Deep Neural Networks

75 citations · 261 across the 31 of their papers we have counts for

collaborators
Showing 2022Show all

5 papers · 1 filter

math.OC2022

A Framework for Fair Decision-making Over Time with Time-invariant Utilities

Andrea Lodi, Sriram Sankaranarayanan, Guanyi Wang

Fairness is a major concern in contemporary decision problems. In these situations, the objective is to maximize fairness while preserving the efficacy of the underlying decision-m…

math.OC2022★ 2 cited

Counterexample-guided computation of polyhedral Lyapunov functions for hybrid systems

Guillaume O. Berger, Sriram Sankaranarayanan

This paper presents a counterexample-guided iterative algorithm to compute convex, piecewise linear (polyhedral) Lyapunov functions for uncertain continuous-time linear hybrid syst…

cs.LG2022

Mathematical Models of Human Drivers Using Artificial Risk Fields

Emily Jensen, Maya Luster, Hansol Yoon +2

In this paper, we use the concept of artificial risk fields to predict how human operators control a vehicle in response to upcoming road situations. A risk field assigns a non-neg…

math.OC2022

Learning fixed-complexity polyhedral Lyapunov functions from counterexamples

Guillaume O. Berger, Sriram Sankaranarayanan

We study the problem of synthesizing polyhedral Lyapunov functions for hybrid linear systems. Such functions are defined as convex piecewise linear functions, with a finite number…

cs.GT2022

Cooperative Security Against Interdependent Risks

Sanjith Gopalakrishnan, Sriram Sankaranarayanan

Firms in inter-organizational networks such as supply chains or strategic alliances are exposed to interdependent risks. These are risks that are transferable across partner firms.…