Pre-prints

Robust Survival Analysis with Adversarial Regularization

Michael Potter, Stefano Maxenti, Michael Everett
2023 (in review)
Paper     Code    

Principles and Guidelines for Evaluating Social Robot Navigation Algorithms

Anthony Francis, Claudia Pérez-d'Arpino, Chengshu Li, Fei Xia, Alexandre Alahi, Rachid Alami, Aniket Bera, Abhijat Biswas, Joydeep Biswas, Rohan Chandra, Hao-Tien Lewis Chiang, Michael Everett, Sehoon Ha, Justin Hart, Jonathan P How, Haresh Karnan, Tsang-Wei Edward Lee, Luis J Manso, Reuth Mirksy, Soeren Pirk, Phani Teja Singamaneni, Peter Stone, Ada V Taylor, Peter Trautman, Nathan Tsoi, Marynel Vazquez, Xuesu Xiao, Peng Xu, Naoki Yokoyama, Alexander Toshev, Roberto Martin-Martin
2023 (in review)
Paper    

EVORA: Deep Evidential Traversability Learning for Risk-Aware Off-Road Autonomy

Xiaoyi Cai, Siddharth Ancha, Lakshay Sharma, Philip R. Osteen, Bernadette Bucher, Stephen Phillips, Jiuguang Wang, Michael Everett, Nicholas Roy, Jonathan P. How
2023 (in review)
Paper     Code    

Peer-Reviewed Publications

RAMP: A Risk-Aware Mapping and Planning Pipeline for Fast Off-Road Ground Robot Navigation

Lakshay Sharma, Michael Everett, Donggun Lee, Xiaoyi Cai, Philip Osteen, Jonathan P. How
IEEE International Conference on Robotics and Automation (ICRA), 2023
Paper    

A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops

Nicholas Rober, Michael Everett, Songan Zhang, Jonathan P. How
American Controls Conference (ACC), 2023
Paper     Code    

Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems

Nicholas Rober, Sydney M. Katz, Chelsea Sidrane, Esen Yel, Michael Everett, Mykel J. Kochenderfer, Jonathan P. How
IEEE Open Journal of Control Systems (OJ-CSYS): Special Section: Formal Verification and Synthesis of Cyber-Physical Systems, 2023
Paper     Code    

DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops

Michael Everett, Rudy Bunel, Shayegan Omidshafiei
IEEE Control Systems Letters (L-CSS), 2023
Paper     Code    

Probabilistic Traversability Model for Risk-Aware Motion Planning in Off-Road Environments

Xiaoyi Cai, Michael Everett, Lakshay Sharma, Philip R. Osteen, Jonathan P. How
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023
Paper     Code    

Backward Reachability Analysis of Neural Feedback Loops

Nicholas Rober, Michael Everett, Jonathan P. How
IEEE Conference on Decision and Control (CDC), 2022
Also presented in 1st Workshop on Formal Verification of Machine Learning, ICML 2022.
Runner-Up: Best Paper Award (WFVML 2022)
IEEE TC on Aerospace Control: Best Student Paper Award
Paper     Code    

Certifiable Robustness to Adversarial State Uncertainty in Deep Reinforcement Learning

Michael Everett*, Björn Lütjens*, Jonathan P. How
IEEE Transactions on Neural Networks and Learning Systems (TNNLS), 2022
Paper    

Risk-Aware Off-Road Navigation via a Learned Speed Distribution Map

Xiaoyi Cai, Michael Everett, Jonathan Fink, Jonathan P. How
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2022
Paper    

Demonstration-Efficient Guided Policy Search via Imitation of Robust Tube-MPC

Andrea Tagliabue, Dong-Ki Kim, Michael Everett, Jonathan P. How
IEEE International Conference on Robotics and Automation (ICRA), 2022
Paper     Video    

Influencing Long-Term Behavior in Multiagent Reinforcement Learning

Dong-Ki Kim, Matthew Riemer, Miao Liu, Jakob N. Foerster, Michael Everett, Chuangchuang Sun, Gerald Tesauro, Jonathan P. How
Conference on Neural Information Processing Systems (NeurIPS), 2022
Also presented in ICLR Workshop on Gamification and Multiagent Solutions, 2022
Paper    

FASTER: Fast and Safe Trajectory Planner for Flights in Unknown Environments

Jesus Tordesillas, Brett T. Lopez, Michael Everett, Jonathan P. How
IEEE Transactions on Robotics (TRO), 2022
Paper     Code     Video    

Robustness Analysis of Neural Networks via Efficient Partitioning with Applications in Control Systems

Michael Everett, Golnaz Habibi, Jonathan P. How
IEEE Control Systems Letters (L-CSS), 2021
Also presented in American Controls Conference (ACC) Invited Session on Learning, Optimization, and Control for Safety-critical Systems, May, 2021.
Paper     Code     Video    

Reachability Analysis of Neural Feedback Loops

Michael Everett, Golnaz Habibi, Chuangchuang Sun, Jonathan P. How
IEEE Access, 2021
Paper     Code    

Collision Avoidance in Pedestrian-Rich Environments with Deep Reinforcement Learning

Michael Everett, Yu Fan Chen, Jonathan P. How
IEEE Access: Special Section on Real-Time Machine Learning Applications in Mobile Robotics, 2021
Editors' Top 5 Published Article Selections for 2021
Featured Article of the Week (March 2021)
Paper     Code: [ Pre-Trained ROS Package Training Environment RL Training Code ]   

Neural Network Verification in Control (Tutorial)

Michael Everett
IEEE Conference on Decision and Control (CDC), 2021
Paper     Code     Video    

Where to go next: Learning a Subgoal Recommendation Policy for Navigation in Dynamic Environments

Bruno Brito, Michael Everett, Jonathan P. How, Javier Alonso-Mora
IEEE Robotics and Automation Letters (RA-L), 2021
Also presented in ICRA, May, 2021.
Paper     Code     Video    

Efficient Reachability Analysis for Closed-Loop Systems with Neural Network Controllers

Michael Everett, Golnaz Habibi, Jonathan P. How
IEEE International Conference on Robotics and Automation (ICRA), 2021
Also presented in International Conference on Learning Representations (ICLR) Workshop on Robust and Reliable Machine Learning in the Real World, May, 2021.
Paper     Code     Video    

Multi-Agent Motion Planning for Dense and Dynamic Environments via Deep Reinforcement Learning

Samaneh Hosseini Semnani, Hugh Liu, Michael Everett, Anton de Ruiter, Jonathan P How
IEEE Robotics and Automation Letters (RA-L), 2020
Paper    

Planning Beyond The Sensing Horizon Using a Learned Context

Michael Everett, Justin Miller, Jonathan P. How
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2019
Winner: Best Paper Award on Cognitive Robotics
Paper     Code     Video    

Certified Adversarial Robustness for Deep Reinforcement Learning

Björn Lütjens, Michael Everett, Jonathan P. How
Conference on Robot Learning (CoRL), 2019
Paper     Video    

R-MADDPG for Partially Observable Environments and Limited Communication

Rose E Wang, Michael Everett, Jonathan P. How
ICML Workshop: Reinforcement Learning for Real Life, 2019
Code    

Safe Reinforcement Learning with Model Uncertainty Estimates

Björn Lütjens, Michael Everett, Jonathan P. How
IEEE International Conference on Robotics and Automation (ICRA), 2019
Paper    

Motion Planning Among Dynamic, Decision-Making Agents with Deep Reinforcement Learning

Michael Everett, Yu Fan Chen, Jonathan P. How
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2018
Paper     Video    

Socially Aware Motion Planning with Deep Reinforcement Learning

Yu Fan Chen, Michael Everett, Miao Liu, Jonathan P. How
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2017
Winner: Best Student Paper
Finalist: Best Paper Award on Cognitive Robotics
Paper     Video    

Semantic-level decentralized multi-robot decision-making using probabilistic macro-observations

Shayegan Omidshafiei, Shih-Yuan Liu, Michael Everett, Brett T Lopez, Christopher Amato, Miao Liu, Jonathan P How, John Vian
IEEE International Conference on Robotics and Automation (ICRA), 2017
Paper     Video    

Scalable accelerated decentralized multi-robot policy search in continuous observation spaces

Shayegan Omidshafiei, Christopher Amato, Miao Liu, Michael Everett, Jonathan P How, John Vian
IEEE International Conference on Robotics and Automation (ICRA), 2017
Paper    

Decentralized Non-Communicating Multiagent Collision Avoidance with Deep Reinforcement Learning

Yu Fan Chen, Miao Liu, Michael Everett, Jonathan P. How
IEEE International Conference on Robotics and Automation (ICRA), 2017
Finalist: Best Multi-Robot Systems Paper
Paper     Video