Mykel Kochenderfer

1. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
   2017/02/03 by Guy Katz, Katz, Guy, Clark Barrett +10 · 1 voice · 84 citations
   Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.AI #cs.LO
2. Online algorithms for POMDPs with continuous state, action, and observation spaces
   2017/09/18 by Zachary Sunberg, Mykel Kochenderfer · 1 voice · 12 citations
   #cs.AI #cs.RO #eess.SY
3. Retriever: Composing Closed-Loop Asynchronous Robot Programs
   2026/07/19 by Linfeng Zhao, Haojie Huang, Jiayuan Mao +3
   #cs.RO