13 Result(s)
within
Article
Mykel J. Kochenderfer
-
Article
Global optimization of objective functions represented by ReLU networks
Neural networks can learn complex, non-convex functions, and it is challenging to guarantee their correct behavior in safety-critical contexts. Many approaches exist to find failures in networks (e.g., adversa...
-
Article
Portfolio construction as linearly constrained separable optimization
Mean–variance portfolio optimization problems often involve separable nonconvex terms, including penalties on capital gains, integer share constraints, and minimum nonzero position and trade sizes. We propose ...
-
Article
Guest Editorial: Special issue on robust machine learning
-
Article
Generating probabilistic safety guarantees for neural network controllers
Neural networks serve as effective controllers in a variety of complex settings due to their ability to represent expressive policies. The complex nature of neural networks, however, makes their output difficu...
-
Article
Open AccessPersonalizing exoskeleton assistance while walking in the real world
Personalized exoskeleton assistance provides users with the largest improvements in walking speed1 and energy economy2–4 but requires lengthy tests under unnatural laboratory conditions. Here we show that exoskel...
-
Article
Reluplex: a calculus for reasoning about deep neural networks
Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems. However, a major obstacle in applying them to safety-critical systems is the great difficulty i...
-
Article
Dynamic multi-robot task allocation under uncertainty and temporal constraints
We consider the problem of dynamically allocating tasks to multiple agents under time window constraints and task completion uncertainty. Our objective is to minimize the number of unsuccessful tasks at the en...
-
Article
Open AccessExplaining COVID-19 outbreaks with reactive SEIRD models
COVID-19 epidemics have varied dramatically in nature across the United States, where some counties have clear peaks in infections, and others have had a multitude of unpredictable and non-distinct peaks. Our ...
-
Article
Open AccessSensing leg movement enhances wearable monitoring of energy expenditure
Physical inactivity is the fourth leading cause of global mortality. Health organizations have requested a tool to objectively measure physical activity. Respirometry and doubly labeled water accurately estima...
-
Article
Tax-Aware Portfolio Construction via Convex Optimization
We describe an optimization-based tax-aware portfolio construction method that adds tax liability to standard Markowitz-based portfolio construction. Our method produces a trade list that specifies the number ...
-
Article
Open AccessRapid energy expenditure estimation for ankle assisted and inclined loaded walking
Estimating energy expenditure with indirect calorimetry requires expensive equipment and several minutes of data collection for each condition of interest. While several methods estimate energy expenditure usi...
-
Article
Decomposition methods with deep corrections for reinforcement learning
Decomposition methods have been proposed to approximate solutions to large sequential decision making problems. In contexts where an agent interacts with multiple entities, utility decomposition can be used to...
-
Article
Aircraft Collision Avoidance Using Monte Carlo Real-Time Belief Space Search
The aircraft collision avoidance problem can be formulated using a decision-theoretic planning framework where the optimal behavior requires balancing the competing objectives of avoiding collision and adherin...
