Mykel J. Kochenderfer
4 papers in the PaperMetrix corpus
Papers by this author
-
Online algorithms for POMDPs with continuous state, action, and observation spaces
2017 · arXiv (Cornell University)
Online solvers for partially observable Markov decision processes have been applied to problems with large discrete state spaces, but continuous state, action, and observation spaces remain a challenge. This paper begins by investigating double progressive …
-
Satisfiability.jl: Satisfiability Modulo Theories in Julia
2023 · arXiv (Cornell University)
Satisfiability modulo theories (SMT) is a core tool in formal verification. While the SMT-LIB specification language can be used to interact with theorem proving software, a high-level interface allows for faster and easier specifications of …
-
Importance Sampling-Guided Meta-Training for Intelligent Agents in Highly Interactive Environments
2024 · IEEE Robotics and Automation Letters
Training intelligent agents to navigate highly interactive environments presents significant challenges. While guided meta reinforcement learning (RL) approach that first trains a guiding policy to train the ego agent has proven effective in improving generalizability …
-
Handling Missing Data with Graph Representation Learning
2020 · arXiv (Cornell University)
Machine learning with missing data has been approached in two different ways, including feature imputation where missing feature values are estimated based on observed values, and label prediction where downstream labels are learned directly from …