Mykel J. Kochenderfer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Algorithms for decision making	2024-11-15	Paper
Global optimization of objective functions represented by ReLU networks Machine Learning	2023-10-24	Paper
Optimality guarantees for particle belief approximation of POMDPs The Journal of Artificial Intelligence Research (JAIR)	2023-10-23	Paper
Portfolio construction as linearly constrained separable optimization Optimization and Engineering	2023-09-18	Paper
Generating probabilistic safety guarantees for neural network controllers Machine Learning	2023-08-22	Paper
Reluplex: a calculus for reasoning about deep neural networks Formal Methods in System Design	2023-06-29	Paper
Reluplex: an efficient SMT solver for verifying deep neural networks (available as arXiv preprint)	2022-07-01	Paper
Scalable Online Planning for Multi-Agent MDPs Journal of Artificial Intelligence Research	2022-05-16	Paper
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems Journal of Artificial Intelligence Research	2022-02-07	Paper
Normalizing flow policies for multi-agent systems	2021-12-08	Paper
Tax-aware portfolio construction via convex optimization Journal of Optimization Theory and Applications	2021-06-15	Paper
Recovering missing CFD data for high-order discretizations using deep neural networks and dynamics learning Journal of Computational Physics	2021-01-26	Paper
scientific article; zbMATH DE number 7030501 (Why is no real title available?)	2019-02-27	Paper
A comparison of Monte Carlo tree search and rolling horizon optimization for large-scale dynamic resource allocation problems European Journal of Operational Research	2018-02-06	Paper
Learning discrete Bayesian networks from continuous data Journal of Artificial Intelligence Research	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 MIT Lincoln Laboratory Series	2016-03-10	Paper
scientific article; zbMATH DE number 1962042 (Why is no real title available?)	2003-08-10	Paper

Research outcomes over time

This page was built for person: Mykel J. Kochenderfer