138 citations · 402 across the 159 of their papers we have counts for
13 papers · 1 filter
Dyadic Sex Composition and Task Classification Using fNIRS Hyperscanning Data
Liam A. Kruse, Allan L. Reiss, Mykel J. Kochenderfer +1
Hyperscanning with functional near-infrared spectroscopy (fNIRS) is an emerging neuroimaging application that measures the nuanced neural signatures underlying social interactions.…
Autonomous Attack Mitigation for Industrial Control Systems
John Mern, Kyle Hatch, Ryan Silva +3
Defending computer networks from cyber attack requires timely responses to alerts and threat intelligence. Decisions about how to respond involve coordinating actions across multip…
Interpretable Local Tree Surrogate Policies
John Mern, Sidhart Krishnan, Anil Yildiz +2
High-dimensional policies, such as those represented by neural networks, cannot be reasonably interpreted by humans. This lack of interpretability reduces the trust users have in p…
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems
Chelsea Sidrane, Amir Maleki, Ahmed Irfan +1
Deep learning methods can be used to produce control policies, but certifying their safety is challenging. The resulting networks are nonlinear and often very large. In response to…
Hierarchical Planning for Dynamic Resource Allocation in Smart and Connected Communities
Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer +1
Resource allocation under uncertainty is a classical problem in city-scale cyber-physical systems. Consider emergency response as an example; urban planners and first responders op…
Reinforcement Learning for Industrial Control Network Cyber Security Orchestration
John Mern, Kyle Hatch, Ryan Silva +2
Defending computer networks from cyber attack requires coordinating actions across multiple nodes based on imperfect indicators of compromise while minimizing disruptions to networ…
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs
Christopher A. Strong, Sydney M. Katz, Anthony L. Corso +1
Deep neural networks often lack the safety and robustness guarantees needed to be deployed in safety critical systems. Formal verification techniques can be used to prove input-out…
Measurable Monte Carlo Search Error Bounds
John Mern, Mykel J. Kochenderfer
Monte Carlo planners can often return sub-optimal actions, even if they are guaranteed to converge in the limit of infinite samples. Known asymptotic regret bounds do not provide a…
Optimal Claiming of Social Security Benefits
Steven Diamond, Stephen Boyd, David Greenberg +2
Using a lifecycle framework with Epstein-Zin (1989) utility and a mixed-integer optimization approach, we compute the optimal age to claim Social Security benefits. Taking advantag…
Verification of Image-based Neural Network Controllers Using Generative Models
Sydney M. Katz, Anthony L. Corso, Christopher A. Strong +1
Neural networks are often used to process information from image-based sensors to produce control actions. While they are effective for this task, the complex nature of neural netw…
Training Structured Mechanical Models by Minimizing Discrete Euler-Lagrange Residual
Kunal Menda, Jayesh K. Gupta, Zachary Manchester +1
Model-based paradigms for decision-making and control are becoming ubiquitous in robotics. They rely on the ability to efficiently learn a model of the system from data. Structured…
Portfolio Construction as Linearly Constrained Separable Optimization
Nicholas Moehle, Jack Gindi, Stephen Boyd +1
Mean-variance portfolio optimization problems often involve separable nonconvex terms, including penalties on capital gains, integer share constraints, and minimum position and tra…
Obstacle Avoidance Using a Monocular Camera
Kyle Hatch, John Mern, Mykel Kochenderfer
A collision avoidance system based on simple digital cameras would help enable the safe integration of small UAVs into crowded, low-altitude environments. In this work, we present…