Mykel J. Kochenderfer

Available identifiers

zbMath Open kochenderfer.mykel-jWikidataQ102297467 ScholiaQ102297467MaRDI QIDQ1694947

List of research outcomes

Publication	Date of Publication	Type
Algorithms for decision making	2024-11-15	Paper
Global optimization of objective functions represented by ReLU networks	2023-10-24	Paper
Optimality guarantees for particle belief approximation of POMDPs	2023-10-23	Paper
Portfolio construction as linearly constrained separable optimization	2023-09-18	Paper
Generating probabilistic safety guarantees for neural network controllers	2023-08-22	Paper
Reluplex: a calculus for reasoning about deep neural networks	2023-06-29	Paper
Reluplex: an efficient SMT solver for verifying deep neural networks	2022-07-01	Paper
Scalable Online Planning for Multi-Agent MDPs	2022-05-16	Paper
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems	2022-02-07	Paper
Normalizing flow policies for multi-agent systems	2021-12-08	Paper
Tax-aware portfolio construction via convex optimization	2021-06-15	Paper
Recovering missing CFD data for high-order discretizations using deep neural networks and dynamics learning	2021-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q4626278	2019-02-27	Paper
A comparison of Monte Carlo tree search and rolling horizon optimization for large-scale dynamic resource allocation problems	2018-02-06	Paper
Learning discrete Bayesian networks from continuous data	2017-07-13	Paper
Decision making under uncertainty. Theory and application. With contributions from Christopher Amato, Girish Chowdhary, Jonathan P. How, Hayley J. Davison Reynolds, Jason R. Thornton, Pedro A. Torres-Carrasquillo, N. Kemal Üre and John Vian	2016-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4418462	2003-08-10	Paper

Research outcomes over time

This page was built for person: Mykel J. Kochenderfer