default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMykel J. Kochenderfer
Mykel John Kochenderfer
Person information
- affiliation: Stanford University
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j52]Robert J. Moss, Anthony Corso, Jef Caers, Mykel J. Kochenderfer:
BetaZero: Belief-State Planning for Long-Horizon POMDPs using Learned Approximations. RLJ 1: 158-181 (2024)- [j51]Erdem Biyik
, Nicolas Huynh, Mykel J. Kochenderfer, Dorsa Sadigh:
Active preference-based Gaussian process regression for reward learning and optimization. Int. J. Robotics Res. 43(5): 665-684 (2024) - [j50]Robert J. Moss, Mykel J. Kochenderfer, Maxime Gariel, Arthur Dubois:
Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems. J. Aerosp. Inf. Syst. 21(7): 533-546 (2024) - [j49]Mahdi Al-Husseini, Kyle Hollins Wray, Mykel J. Kochenderfer:
Hierarchical Framework for Optimizing Wildfire Surveillance and Suppression Using Human-Autonomous Teaming. J. Aerosp. Inf. Syst. 21(10): 790-811 (2024) - [j48]Emiko Soroka, Mykel J. Kochenderfer, Sanjay Lall:
Satisfiability.jl: Satisfiability Modulo Theories in Julia. J. Open Source Softw. 9(100): 6757 (2024) - [j47]Victoria Magdalena Dax, Jiachen Li, Enna Sachdeva, Nakul Agarwal, Mykel J. Kochenderfer:
Disentangled Neural Relational Inference for Interpretable Motion Prediction. IEEE Robotics Autom. Lett. 9(2): 1452-1459 (2024) - [j46]Alexandros E. Tzikas, Jinkyoo Park, Mykel J. Kochenderfer, Ross E. Allen:
Distributed Online Planning for Min-Max Problems in Networked Markov Games. IEEE Robotics Autom. Lett. 9(7): 6656-6663 (2024) - [j45]Marija Popovic, Joshua Ott, Julius Rückin, Mykel J. Kochenderfer:
Learning-based methods for adaptive informative path planning. Robotics Auton. Syst. 179: 104727 (2024) - [j44]Joshua Ott, Mykel J. Kochenderfer, Stephen P. Boyd:
Approximate sequential optimization for informative path planning. Robotics Auton. Syst. 182: 104814 (2024) - [j43]Jiachen Li, David Isele, Kanghoon Lee, Jinkyoo Park, Kikuo Fujimura, Mykel J. Kochenderfer:
Interactive Autonomous Navigation With Internal State Inference and Interactivity Estimation. IEEE Trans. Robotics 40: 2932-2949 (2024) - [c179]Isaac Ronald Ward, Dylan M. Asmar, Mansur Arief, Jana Krystofova Mike, Mykel J. Kochenderfer:
Optimal Control of Mechanical Ventilators with Learned Respiratory Dynamics. CBMS 2024: 192-198 - [c178]Joshua Ott, Edward Balaban, Mykel J. Kochenderfer:
Trajectory Optimization for Adaptive Informative Path Planning with Multimodal Sensing. CoDIT 2024: 1-7 - [c177]Joshua Ott, Sung-Kyun Kim, Amanda Bouman, Oriana Peltzer, Mamoru Sobue, Harrison Delecki, Mykel J. Kochenderfer, Joel Burdick, Ali-akbar Agha-mohammadi:
Risk-aware Meta-level Decision Making for Exploration Under Uncertainty. CoDIT 2024: 2012-2018 - [c176]Paula Stocco, Suhas Chundi, Arec L. Jamgochian, Mykel J. Kochenderfer:
Addressing Myopic Constrained POMDP Planning with Recursive Dual Ascent. ICAPS 2024: 565-569 - [c175]Arec L. Jamgochian, Hugo Buurmeijer, Kyle Hollins Wray, Anthony Corso, Mykel J. Kochenderfer:
Constrained Hierarchical Monte Carlo Belief-State Planning. ICRA 2024: 2368-2374 - [c174]Bernard Lange, Jiachen Li, Mykel J. Kochenderfer:
Scene Informer: Anchor-based Occlusion Inference and Trajectory Prediction in Partially Observable Environments. ICRA 2024: 14138-14145 - [c173]Robert J. Moss, Arec L. Jamgochian, Johannes Fischer, Anthony Corso, Mykel J. Kochenderfer:
ConstrainedZero: Chance-Constrained POMDP Planning Using Learned Probabilistic Failure Surrogates and Adaptive Safety Constraints. IJCAI 2024: 6752-6760 - [c172]Michael H. Lim, Tyler J. Becker, Mykel J. Kochenderfer, Claire J. Tomlin, Zachary Sunberg:
Optimality Guarantees for Particle Belief Approximation of POMDPs (Abstract Reprint). IJCAI 2024: 8481 - [c171]Muhammad Fadhil Ginting, David D. Fan, Sung-Kyun Kim, Mykel J. Kochenderfer, Ali-Akbar Agha-Mohammadi:
Semantic Belief Behavior Graph: Enabling Autonomous Robot Inspection in Unknown Environments. IROS 2024: 7604-7610 - [c170]Maneekwan Toyungyernsub, Esen Yel, Jiachen Li, Mykel J. Kochenderfer:
Predicting Future Spatiotemporal Occupancy Grids with Semantics for Autonomous Driving. IV 2024: 2855-2861 - [c169]Sangwoo Moon, Sung-Kyun Kim, Oriana Peltzer, Mykel J. Kochenderfer, Shehryar Khattak:
Efficient Line-of-Sight Viewpoint Sampling in Complex Environments for Autonomous Surface Inspection. SSRR 2024: 198-203 - [c168]Enna Sachdeva, Nakul Agarwal, Suhas Chundi, Sean Roelofs, Jiachen Li, Mykel J. Kochenderfer, Chiho Choi, Behzad Dariush:
Rank2Tell: A Multimodal Driving Dataset for Joint Importance Ranking and Reasoning. WACV 2024: 7498-7507 - [i233]Victoria Magdalena Dax, Jiachen Li, Enna Sachdeva, Nakul Agarwal, Mykel J. Kochenderfer:
Disentangled Neural Relational Inference for Interpretable Motion Prediction. CoRR abs/2401.03599 (2024) - [i232]Victoria Magdalena Dax, Jiachen Li, Kevin Leahy, Mykel J. Kochenderfer:
Graph Q-Learning for Combinatorial Optimization. CoRR abs/2401.05610 (2024) - [i231]Ali Baheri, Mykel J. Kochenderfer:
The Synergy Between Optimal Transport Theory and Multi-Agent Reinforcement Learning. CoRR abs/2401.10949 (2024) - [i230]Jiachen Li, Chuanbo Hua, Hengbo Ma, Jinkyoo Park, Victoria Magdalena Dax, Mykel J. Kochenderfer:
Multi-Agent Dynamic Relational Reasoning for Social Robot Navigation. CoRR abs/2401.12275 (2024) - [i229]Alexandros E. Tzikas, Licio Romao, Mert Pilanci, Alessandro Abate, Mykel J. Kochenderfer:
Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers. CoRR abs/2401.15838 (2024) - [i228]Muhammad Fadhil Ginting, David D. Fan, Sung-Kyun Kim, Mykel J. Kochenderfer, Ali-akbar Agha-mohammadi:
Semantic Belief Behavior Graph: Enabling Autonomous Robot Inspection in Unknown Environments. CoRR abs/2401.17191 (2024) - [i227]Joshua Ott, Mykel J. Kochenderfer, Stephen P. Boyd:
Approximate Sequential Optimization for Informative Path Planning. CoRR abs/2402.08841 (2024) - [i226]Harrison Delecki, Marcell Vazquez-Chanlatte, Esen Yel, Kyle Hollins Wray, Tomer Arnon, Stefan J. Witwicki, Mykel J. Kochenderfer:
Entropy-regularized Point-based Value Iteration. CoRR abs/2402.09388 (2024) - [i225]Paula Stocco, Suhas Chundi, Arec L. Jamgochian, Mykel J. Kochenderfer:
Addressing Myopic Constrained POMDP Planning with Recursive Dual Ascent. CoRR abs/2403.17358 (2024) - [i224]Marija Popovic, Joshua Ott, Julius Rückin, Mykel J. Kochenderfer:
Robotic Learning for Adaptive Informative Path Planning. CoRR abs/2404.06940 (2024) - [i223]Joshua Ott, Edward Balaban, Mykel J. Kochenderfer:
Trajectory Optimization for Adaptive Informative Path Planning with Multimodal Sensing. CoRR abs/2404.18374 (2024) - [i222]Robert J. Moss, Arec L. Jamgochian, Johannes Fischer, Anthony Corso, Mykel J. Kochenderfer:
ConstrainedZero: Chance-Constrained POMDP Planning using Learned Probabilistic Failure Surrogates and Adaptive Safety Constraints. CoRR abs/2405.00644 (2024) - [i221]Muhammad Fadhil Ginting, Sung-Kyun Kim, David D. Fan, Matteo Palieri, Mykel J. Kochenderfer, Ali-Akbar Agha-Mohammadi:
SEEK: Semantic Reasoning for Object Goal Navigation in Real World Inspection Tasks. CoRR abs/2405.09822 (2024) - [i220]Alexandros E. Tzikas, Jinkyoo Park, Mykel J. Kochenderfer, Ross E. Allen:
Distributed Online Planning for Min-Max Problems in Networked Markov Games. CoRR abs/2405.19570 (2024) - [i219]Harrison Delecki, Marc R. Schlichting, Mansur Arief, Anthony Corso, Marcell Vazquez-Chanlatte, Mykel J. Kochenderfer:
Diffusion-Based Failure Sampling for Cyber-Physical Systems. CoRR abs/2406.14761 (2024) - [i218]Mahdi Al-Husseini, Kyle Hollins Wray, Mykel J. Kochenderfer:
Hierarchical Framework for Optimizing Wildfire Surveillance and Suppression using Human-Autonomous Teaming. CoRR abs/2406.17189 (2024) - [i217]Amelia F. Hardy, Houjun Liu, Bernard Lange, Mykel J. Kochenderfer:
ASTPrompter: Weakly Supervised Automated Language Model Red-Teaming to Identify Likely Toxic Prompts. CoRR abs/2407.09447 (2024) - [i216]Anka Reuel, Ben Bucknall, Stephen Casper, Tim Fist, Lisa Soder, Onni Aarne, Lewis Hammond, Lujain Ibrahim, Alan Chan, Peter Wills, Markus Anderljung, Ben Garfinkel, Lennart Heim, Andrew Trask, Gabriel Mukobi, Rylan Schaeffer, Mauricio Baker, Sara Hooker, Irene Solaiman, Alexandra Sasha Luccioni, Nitarshan Rajkumar, Nicolas Moës, Jeffrey Ladish, Neel Guha, Jessica Newman, Yoshua Bengio, Tobin South, Alex Pentland, Sanmi Koyejo, Mykel J. Kochenderfer, Robert Trager:
Open Problems in Technical AI Governance. CoRR abs/2407.14981 (2024) - [i215]Mansur Arief, Mike Timmerman, Jiachen Li, David Isele, Mykel J. Kochenderfer:
Importance Sampling-Guided Meta-Training for Intelligent Agents in Highly Interactive Environments. CoRR abs/2407.15839 (2024) - [i214]Romeo Valentin, Sydney M. Katz, Joonghyun Lee, Don Walker, Matthew Sorgenfrei, Mykel J. Kochenderfer:
Probabilistic Parameter Estimators and Calibration Metrics for Pose Estimation from Image Features. CoRR abs/2407.16223 (2024) - [i213]Bernard Lange, Masha Itkina, Jiachen Li, Mykel J. Kochenderfer:
Self-supervised Multi-future Occupancy Forecasting for Autonomous Driving. CoRR abs/2407.21126 (2024) - [i212]Mahdi Al-Husseini, Kyle Hollins Wray, Mykel J. Kochenderfer:
Watercraft as Overwater Ambulance Exchange Points to Enhance Aeromedical Evacuation. CoRR abs/2408.13847 (2024) - [i211]Zahra Shahrooei, Mykel J. Kochenderfer, Ali Baheri:
Optimizing Falsification for Learning-Based Control Systems: A Multi-Fidelity Bayesian Approach. CoRR abs/2409.08097 (2024) - [i210]Joshua Ott, Mykel J. Kochenderfer, Stephen P. Boyd:
Informative Input Design for Dynamic Mode Decomposition. CoRR abs/2409.13088 (2024) - [i209]Mahdi Al-Husseini, Kyle Hollins Wray, Mykel J. Kochenderfer:
Semi-Markovian Planning to Coordinate Aerial and Maritime Medical Evacuation Platforms. CoRR abs/2410.04523 (2024) - [i208]Anka Reuel, Patrick Connolly, Kiana Jafari Meimandi, Shekhar Tewari, Jakub Wiatrak, Dikshita Venkatesh, Mykel J. Kochenderfer:
Responsible AI in the Global Context: Maturity Model and Survey. CoRR abs/2410.09985 (2024) - [i207]Duncan Eddy, Michelle Ho, Mykel J. Kochenderfer:
Optimal Ground Station Selection for Low-Earth Orbiting Satellites. CoRR abs/2410.16282 (2024) - [i206]Muhammad Fadhil Ginting, Kyohei Otsu, Mykel J. Kochenderfer, Ali-akbar Agha-mohammadi:
Capability-aware Task Allocation and Team Formation Analysis for Cooperative Exploration of Complex Environments. CoRR abs/2411.00400 (2024) - [i205]Isaac Ronald Ward, Dylan M. Asmar, Mansur Arief, Jana Krystofova Mike, Mykel J. Kochenderfer:
Optimal Control of Mechanical Ventilators with Learned Respiratory Dynamics. CoRR abs/2411.07971 (2024) - [i204]Xiongye Xiao, Shixuan Li, Luzhe Huang, Gengshuo Liu, Trung-Kien Nguyen, Yi Huang, Di Chang, Mykel J. Kochenderfer, Paul Bogdan:
Multi-scale Generative Modeling for Fast Sampling. CoRR abs/2411.09356 (2024) - [i203]Muhammad Fadhil Ginting, Dong-Ki Kim, Sung-Kyun Kim, Bandi Jai Krishna, Mykel J. Kochenderfer, Shayegan Omidshafiei, Ali-akbar Agha-mohammadi:
SayComply: Grounding Field Robotic Tasks in Operational Compliance through Retrieval-Based Language Models. CoRR abs/2411.11323 (2024) - [i202]Anka Reuel, Amelia F. Hardy, Chandler Smith, Max Lamparth, Malcolm Hardy, Mykel J. Kochenderfer:
BetterBench: Assessing AI Benchmarks, Uncovering Issues, and Establishing Best Practices. CoRR abs/2411.12990 (2024) - [i201]Harrison Delecki, Sydney M. Katz, Mykel J. Kochenderfer:
Failure Probability Estimation for Black-Box Autonomous Systems using State-Dependent Importance Sampling Proposals. CoRR abs/2412.02154 (2024) - [i200]Amelia F. Hardy, Anka Reuel, Kiana Jafari Meimandi, Lisa Soder, Allie Griffith, Dylan M. Asmar, Sanmi Koyejo, Michael S. Bernstein, Mykel J. Kochenderfer:
More than Marketing? On the Information Value of AI Benchmarks for Practitioners. CoRR abs/2412.05520 (2024) - [i199]Alexandros E. Tzikas, Liam A. Kruse, Mansur Arief, Mykel J. Kochenderfer, Stephen Boyd:
Discrete-Time Distribution Steering using Monte Carlo Tree Search. CoRR abs/2412.06220 (2024) - [i198]Dylan M. Asmar, Mykel J. Kochenderfer:
Efficient Multiagent Planning via Shared Action Suggestions. CoRR abs/2412.11430 (2024) - 2023
- [j42]Alexandros E. Tzikas, Derek Knowles, Grace Xingxin Gao, Mykel J. Kochenderfer:
Multirobot Navigation Using Partially Observable Markov Decision Processes with Belief-Based Rewards. J. Aerosp. Inf. Syst. 20(8): 437-446 (2023) - [j41]Michael H. Lim, Tyler J. Becker, Mykel J. Kochenderfer, Claire J. Tomlin, Zachary N. Sunberg:
Optimality Guarantees for Particle Belief Approximation of POMDPs. J. Artif. Intell. Res. 77: 1591-1636 (2023) - [j40]Ransalu Senanayake, Daniel J. Fremont, Mykel J. Kochenderfer, Alessio R. Lomuscio, Dragos D. Margineantu, Cheng Soon Ong:
Guest Editorial: Special issue on robust machine learning. Mach. Learn. 112(8): 2787-2789 (2023) - [j39]Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer:
Generating probabilistic safety guarantees for neural network controllers. Mach. Learn. 112(8): 2903-2931 (2023) - [j38]Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer:
Global optimization of objective functions represented by ReLU networks. Mach. Learn. 112(10): 3685-3712 (2023) - [j37]Raunak P. Bhattacharyya, Blake Wulfe, Derek J. Phillips, Alex Kuefler, Jeremy Morton, Ransalu Senanayake, Mykel J. Kochenderfer:
Modeling Human Driving Behavior Through Generative Adversarial Imitation Learning. IEEE Trans. Intell. Transp. Syst. 24(3): 2874-2887 (2023) - [c167]Arec L. Jamgochian, Anthony Corso, Mykel J. Kochenderfer:
Online Planning for Constrained POMDPs with Continuous Spaces through Dual Ascent. ICAPS 2023: 198-202 - [c166]Zahra Shahrooei, Mykel J. Kochenderfer, Ali Baheri:
Falsification of Learning-Based Controllers through Multi-Fidelity Bayesian Optimization. ECC 2023: 1-6 - [c165]Harrison Delecki, Liam A. Kruse, Marc R. Schlichting, Mykel J. Kochenderfer:
Deep Normalizing Flows for State Estimation. FUSION 2023: 1-6 - [c164]Arec L. Jamgochian, Etienne Bührle, Johannes Fischer, Mykel J. Kochenderfer:
SHAIL: Safety-Aware Hierarchical Adversarial Imitation Learning for Autonomous Driving in Urban Environments. ICRA 2023: 1530-1536 - [c163]Dylan M. Asmar, Ransalu Senanayake, Shawn Manuel, Mykel J. Kochenderfer:
Model Predictive Optimized Path Integral Strategies. ICRA 2023: 3182-3188 - [c162]Muhammad Fadhil Ginting, Sung-Kyun Kim, Oriana Peltzer, Joshua Ott, Sunggoo Jung, Mykel J. Kochenderfer, Ali-akbar Agha-mohammadi:
Safe and Efficient Navigation in Extreme Environments using Semantic Belief Graphs. ICRA 2023: 5653-5658 - [c161]Joshua Ott, Edward Balaban, Mykel J. Kochenderfer:
Sequential Bayesian Optimization for Adaptive Informative Path Planning with Multimodal Sensing. ICRA 2023: 7894-7901 - [c160]Christopher E. Denniston, Oriana Peltzer, Joshua Ott, Sangwoo Moon, Sung-Kyun Kim, Gaurav S. Sukhatme, Mykel J. Kochenderfer, Mac Schwager, Ali-akbar Agha-mohammadi:
Fast and Scalable Signal Inference for Active Robotic Source Seeking. ICRA 2023: 7909-7915 - [c159]Marc R. Schlichting, Nina V. Boord, Anthony L. Corso, Mykel J. Kochenderfer:
SAVME: Efficient Safety Validation for Autonomous Systems Using Meta-Learning. ITSC 2023: 2118-2124 - [c158]Kanghoon Lee, Jiachen Li, David Isele, Jinkyoo Park, Kikuo Fujimura, Mykel J. Kochenderfer:
Robust Driving Policy Learning with Guided Meta Reinforcement Learning. ITSC 2023: 4114-4120 - [c157]Anil Yildiz, Esen Yel, Anthony L. Corso, Kyle Hollins Wray, Stefan J. Witwicki, Mykel J. Kochenderfer:
Experience Filter: Using Past Experiences on Unseen Tasks or Environments. IV 2023: 1-7 - [c156]Harrison Delecki, Anthony Corso, Mykel J. Kochenderfer:
Model-based Validation as Probabilistic Inference. L4DC 2023: 825-837 - [c155]Elysia Q. Smyers, Sydney M. Katz, Anthony Corso, Mykel J. Kochenderfer:
AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator. NeurIPS 2023 - [c154]Jiankai Sun, Yiqi Jiang, Jianing Qiu, Parth Nobel, Mykel J. Kochenderfer, Mac Schwager:
Conformal Prediction for Uncertainty-Aware Planning with Diffusion Dynamics Model. NeurIPS 2023 - [i197]Christopher E. Denniston, Oriana Peltzer, Joshua Ott, Sangwoo Moon, Sung-Kyun Kim, Gaurav S. Sukhatme, Mykel J. Kochenderfer, Mac Schwager, Ali-akbar Agha-mohammadi:
Fast and Scalable Signal Inference for Active Robotic Source Seeking. CoRR abs/2301.02362 (2023) - [i196]Amanda Bouman, Joshua Ott, Sung-Kyun Kim, Kenny Chen, Mykel J. Kochenderfer, Brett Thomas Lopez, Ali-akbar Agha-mohammadi, Joel Burdick:
Adaptive Coverage Path Planning for Efficient Exploration of Unknown Environments. CoRR abs/2302.03164 (2023) - [i195]Oriana Peltzer, Dylan M. Asmar, Mac Schwager, Mykel J. Kochenderfer:
Incorporating Human Path Preferences in Robot Navigation with Minimal Interventions. CoRR abs/2303.03530 (2023) - [i194]Soyeon Jung, Mykel J. Kochenderfer:
Inferring Traffic Models in Terminal Airspace from Flight Tracks and Procedures. CoRR abs/2303.09981 (2023) - [i193]Muhammad Fadhil Ginting, Sung-Kyun Kim, Oriana Peltzer, Joshua Ott, Sunggoo Jung, Mykel J. Kochenderfer, Ali-akbar Agha-mohammadi:
Safe and Efficient Navigation in Extreme Environments using Semantic Belief Graphs. CoRR abs/2304.00645 (2023) - [i192]Yizheng Wang, Markus Zechner, Gege Wen, Anthony Louis Corso, John Michael Mern, Mykel J. Kochenderfer, Jef Karel Caers:
Optimizing Carbon Storage Operations for Long-Term Safety. CoRR abs/2304.09352 (2023) - [i191]Robert J. Moss, Mykel J. Kochenderfer, Maxime Gariel, Arthur Dubois:
Bayesian Safety Validation for Black-Box Systems. CoRR abs/2305.02449 (2023) - [i190]Ali Baheri, Mykel J. Kochenderfer:
Joint Falsification and Fidelity Settings Optimization for Validation of Safety-Critical Systems: A Theoretical Analysis. CoRR abs/2305.06111 (2023) - [i189]Harrison Delecki, Anthony Corso, Mykel J. Kochenderfer:
Model-based Validation as Probabilistic Inference. CoRR abs/2305.09930 (2023) - [i188]Anil Yildiz, Esen Yel, Anthony L. Corso, Kyle Hollins Wray, Stefan J. Witwicki, Mykel J. Kochenderfer:
Experience Filter: Using Past Experiences on Unseen Tasks or Environments. CoRR abs/2305.18633 (2023) - [i187]Robert J. Moss, Anthony Corso, Jef Caers, Mykel J. Kochenderfer:
BetaZero: Belief-State Planning for Long-Horizon POMDPs using Learned Approximations. CoRR abs/2306.00249 (2023) - [i186]Elysia Q. Smyers, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer:
AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator. CoRR abs/2306.11203 (2023) - [i185]Harrison Delecki, Liam A. Kruse, Marc R. Schlichting, Mykel J. Kochenderfer:
Deep Normalizing Flows for State Estimation. CoRR abs/2306.15605 (2023) - [i184]Sydney M. Katz, Anthony L. Corso, Esen Yel, Mykel J. Kochenderfer:
Efficient Determination of Safety Requirements for Perception Systems. CoRR abs/2307.01371 (2023) - [i183]Kanghoon Lee, Jiachen Li, David Isele, Jinkyoo Park, Kikuo Fujimura, Mykel J. Kochenderfer:
Robust Driving Policy Learning with Guided Meta Reinforcement Learning. CoRR abs/2307.10160 (2023) - [i182]Anthony Corso, David Karamadian, Romeo Valentin, Mary Cooper, Mykel J. Kochenderfer:
A Holistic Assessment of the Reliability of Machine Learning Systems. CoRR abs/2307.10586 (2023) - [i181]Enna Sachdeva, Nakul Agarwal, Suhas Chundi, Sean Roelofs, Jiachen Li, Behzad Dariush, Chiho Choi, Mykel J. Kochenderfer:
Rank2Tell: A Multimodal Driving Dataset for Joint Importance Ranking and Reasoning. CoRR abs/2309.06597 (2023) - [i180]Emiko Soroka, Mykel J. Kochenderfer, Sanjay Lall:
Satisfiability.jl: Satisfiability Modulo Theories in Julia. CoRR abs/2309.08778 (2023) - [i179]Marc R. Schlichting, Nina V. Boord, Anthony L. Corso, Mykel J. Kochenderfer:
SAVME: Efficient Safety Validation for Autonomous Systems Using Meta-Learning. CoRR abs/2309.12474 (2023) - [i178]Bernard Lange, Jiachen Li, Mykel J. Kochenderfer:
Scene Informer: Anchor-based Occlusion Inference and Trajectory Prediction in Partially Observable Environments. CoRR abs/2309.13893 (2023) - [i177]Maneekwan Toyungyernsub, Esen Yel, Jiachen Li, Mykel J. Kochenderfer:
Predicting Future Spatiotemporal Occupancy Grids with Semantics for Autonomous Driving. CoRR abs/2310.01723 (2023) - [i176]Arec L. Jamgochian, Hugo Buurmeijer, Kyle Hollins Wray, Anthony Corso, Mykel J. Kochenderfer:
Constrained Hierarchical Monte Carlo Belief-State Planning. CoRR abs/2310.20054 (2023) - [i175]Kyle Brown, Dylan M. Asmar, Mac Schwager, Mykel J. Kochenderfer:
Large-Scale Multi-Robot Assembly Planning for Autonomous Manufacturing. CoRR abs/2311.00192 (2023) - [i174]Jiachen Li, David Isele, Kanghoon Lee, Jinkyoo Park, Kikuo Fujimura, Mykel J. Kochenderfer:
Interactive Autonomous Navigation with Internal State Inference and Interactivity Estimation. CoRR abs/2311.16091 (2023) - 2022
- [j36]Shushman Choudhury, Jayesh K. Gupta, Mykel J. Kochenderfer, Dorsa Sadigh, Jeannette Bohg:
Dynamic multi-robot task allocation under uncertainty and temporal constraints. Auton. Robots 46(1): 231-247 (2022) - [j35]Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer:
Reluplex: a calculus for reasoning about deep neural networks. Formal Methods Syst. Des. 60(1): 87-116 (2022) - [j34]Sydney M. Katz, Anthony L. Corso, Christopher A. Strong, Mykel J. Kochenderfer:
Verification of Image-Based Neural Network Controllers Using Generative Models. J. Aerosp. Inf. Syst. 19(9): 574-584 (2022) - [j33]Shushman Choudhury, Jayesh K. Gupta, Peter Morales, Mykel J. Kochenderfer:
Scalable Online Planning for Multi-Agent MDPs. J. Artif. Intell. Res. 73: 821-846 (2022) - [j32]Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer:
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems. J. Mach. Learn. Res. 23: 117:1-117:45 (2022) - [j31]Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer, Abhishek Dubey:
Hierarchical Planning for Dynamic Resource Allocation in Smart and Connected Communities. ACM Trans. Cyber Phys. Syst. 6(4): 32:1-32:26 (2022) - [j30]Raunak P. Bhattacharyya, Soyeon Jung, Liam A. Kruse, Ransalu Senanayake, Mykel J. Kochenderfer:
A Hybrid Rule-Based and Data-Driven Approach to Driver Modeling Through Particle Filtering. IEEE Trans. Intell. Transp. Syst. 23(8): 13055-13068 (2022) - [j29]Zachary Sunberg, Mykel J. Kochenderfer:
Improving Automated Driving Through POMDP Planning With Human Internal States. IEEE Trans. Intell. Transp. Syst. 23(11): 20073-20083 (2022) - [c153]