| 2025 | IROS | Quadrotor Morpho-Transition: Learning vs Model-Based Control Strategies. | Ioannis Mandralis, Richard M. Murray, Morteza Gharib |
| 2025 | RV | A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems. | Josefine B. Graebener, Inigo Incer, Richard M. Murray |
| 2023 | ICRA | Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows. | Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray |
| 2023 | IROS | Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems. | Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray |
| 2021 | AAAI | Constrained Risk-Averse Markov Decision Processes. | Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames |
| 2021 | ICRA | Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty. | Richard Cheng, Richard M. Murray, Joel W. Burdick |
| 2020 | CoRL | Reactive motion planning with probabilisticsafety guarantees. | Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray |
| 2019 | AAAI | End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks. | Richard Cheng, Gbor Orosz, Richard M. Murray, Joel W. Burdick |
| 2019 | AAAI | Inverse Abstraction of Neural Networks Using Symbolic Interpolation. | Sumanth Dathathri, Sicun Gao, Richard M. Murray |
| 2019 | CoRL | Counter-example Guided Learning of Bounds on Environment Behavior. | Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray |
| 2017 | IJCAI | Learning-Based Abstractions for Nonlinear Constraint Solving. | Sumanth Dathathri, Nikos Archiga, Sicun Gao, Richard M. Murray |
| 2017 | IROS | Synthesis of correct-by-construction behavior trees. | Michele Colledanchise, Richard M. Murray, Petter gren |
| 2017 | ISRR | Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States. | Sumanth Dathathri, Ioannis Filippidis, Richard M. Murray |
| 2016 | POPL | Synthesis of reactive controllers for hybrid systems (keynote). | Richard M. Murray |
| 2015 | IROS | Online horizon selection in receding horizon temporal logic planning. | Vasumathi Raman, Mattias Flt, Tichakorn Wongpiromsarn, Richard M. Murray |
| 2014 | IROS | A compositional approach to stochastic optimal control with co-safe temporal logic specifications. | Matanya B. Horowitz, Eric M. Wolff, Richard M. Murray |
| 2014 | ICRA | Optimization-based trajectory generation with linear temporal logic specifications. | Eric M. Wolff, Ufuk Topcu, Richard M. Murray |
| 2013 | EMSOFT | Pre-orders for reasoning about stability properties with respect to input of hybrid systems. | Pavithra Prabhakar, Jun Liu, Richard M. Murray |
| 2013 | ICRA | Motion planning in observations space with learned diffeomorphism models. | Andrea Censi, Adam Nilsson, Richard M. Murray |
| 2013 | ICRA | Just-in-time synthesis for reactive motion planning with temporal logic. | Scott C. Livingston, Richard M. Murray |
| 2013 | ICRA | Patching task-level robot controllers based on a local μ-calculus formula. | Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose, Richard M. Murray |
| 2013 | IROS | Automaton-guided controller synthesis for nonlinear systems with temporal logic. | Eric M. Wolff, Ufuk Topcu, Richard M. Murray |
| 2013 | ICRA | Robot navigation in dense human crowds: the case for cooperation. | Peter Trautman, Jeremy Ma, Richard M. Murray, Andreas Krause |
| 2013 | ICRA | Efficient reactive controller synthesis for a fragment of linear temporal logic. | Eric M. Wolff, Ufuk Topcu, Richard M. Murray |
| 2013 | ISRR | Optimal Control of Nonlinear Systems with Temporal Logic Specifications. | Eric M. Wolff, Richard M. Murray |
| 2012 | ICRA | Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades. | Andrea Censi, Magnus Hakansson, Richard M. Murray |
| 2012 | ICRA | Learning diffeomorphism models of robotic sensorimotor cascades. | Andrea Censi, Richard M. Murray |
| 2012 | ICRA | Towards formal synthesis of reactive controllers for dexterous robotic manipulation. | Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, Richard M. Murray |
| 2012 | ICRA | Backtracking temporal logic synthesis for uncertain environments. | Scott C. Livingston, Richard M. Murray, Joel W. Burdick |
| 2011 | ICRA | Bootstrapping bilinear models of robotic sensorimotor cascades. | Andrea Censi, Richard M. Murray |
| 2011 | IROS | Bootstrapping sensorimotor cascades: A group-theoretic perspective. | Andrea Censi, Richard M. Murray |
| 2011 | IROS | Containment indicator function construction via numerical conformal mapping. | Shuo Han, Richard M. Murray |
| 2010 | DAC | Joint DAC/IWBDA special session engineering biology: fundamentals and applications. | Marc D. Riedel, Soha Hassoun, Ron Weiss, Pamela Silver, J. Christopher Anderson, Richard M. Murray |
| 2010 | IROS | A bio-plausible design for visual pose stabilization. | Shuo Han, Andrea Censi, Andrew D. Straw, Richard M. Murray |
| 2009 | ICRA | A real-time helicopter testbed for insect-inspired visual flight control. | Shuo Han, Andrew D. Straw, Michael H. Dickinson, Richard M. Murray |
| 2008 | ICARCV | Kalman filtering over a packet dropping network: A probabilistic approach. | Ling Shi, Michael Epstein, Richard M. Murray |
| 2007 | ACC | Estimation over Communication Networks: Performance Bounds and Achievability Results. | Amir F. Dana, Vijay Gupta, Joo P. Hespanha, Babak Hassibi, Richard M. Murray |
| 2007 | ACC | A Multi-Model Approach to Identification of Biosynthetic Pathways. | Mary J. Dunlop, Elisa Franco, Richard M. Murray |
| 2007 | ACC | Biologically Inspired Feedback Design for Drosophila Flight. | Michael Epstein, Stephen Waydo, Sawyer B. Fuller, William B. Dickson, Andrew D. Straw, Michael H. Dickinson, Richard M. Murray |
| 2007 | ACC | Estimation for Nonlinear Dynamical Systems over Packet-Dropping Networks. | Zhipu Jin, Chih-Kai Ko, Richard M. Murray |
| 2007 | ACC | To Drop or Not to Drop: Receiver Design Principles for Estimation over Wireless Links. | Yasamin Mostofi, Richard M. Murray |
| 2007 | ACC | Frequency-Weighted Model Reduction with Applications to Structured Models. | Henrik Sandberg, Richard M. Murray |
| 2007 | ACC | Analysis of a Digital Clock for Molecular Computing. | Johan Ugander, Mary J. Dunlop, Richard M. Murray |
| 2007 | IROS | Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system. | Julia M. B. Braman, Richard M. Murray, David A. Wagner |
| 2006 | ICRA | A Decentralized Motion Coordination Strategy for Dynamic Target Tracking. | Timothy H. Chung, Joel W. Burdick, Richard M. Murray |
| 2006 | ICRA | Model-based Estimation of Off-highway Road Geometry using Single-axis LADAR and Inertial Sensing. | Lars B. Cremean, Richard M. Murray |
| 2005 | ICRA | An Experimental Platform for Motion Estimation and Maneuver Characterization in High Speed Off-Road Driving. | Haomiao Huang, Lyle Chamberlain, Richard M. Murray |
| 2004 | ICASSP | Sensor scheduling algorithms requiring limited computation [vehicle sonar range-finder example]. | Vijay Gupta, Timothy H. Chung, Babak Hassibi, Richard M. Murray |
| 2004 | ICRA | Scheduling for Distributed Sensor Networks with Single Sensor Measurement per Time Step. | Timothy H. Chung, Vijay Gupta, Babak Hassibi, Joel W. Burdick, Richard M. Murray |
| 2004 | ICRA | Identification of Decision Rules in a Human-controlled System: Vehicles at a Traffic Intersection. | Claire Walton, Domitilla Del Vecchio, Richard M. Murray |
| 2004 | SECON | Effect of time-varying fading channels on control performance of a mobile sensor. | Yasamin Mostofi, Richard M. Murray |
| 2003 | ICRA | Cooperative task planning of multi-robot systems with temporal constraints. | Feng-Li Lian, Richard M. Murray |
| 2003 | ICRA | Vehicle motion planning using stream functions. | Stephen Waydo, Richard M. Murray |
| 2001 | ICRA | Nonlinear Control Methods for Planar Carangiform Robot Fish Locomotion. | Kristi A. Morgansen, Vincent Duindam, Richard Mason, Joel W. Burdick, Richard M. Murray |
| 1997 | ICRA | An experimental comparison of tradeoffs in using compliant manipulators for robotic grasping tasks. | Sudipto Sur, Richard M. Murray |
| 1995 | ICRA | The Mechanisms of Undulatory Locomotion: The Mixed Kinematic and Dynamic Case. | James P. Ostrowski, Joel W. Burdick, Andrew D. Lewis, Richard M. Murray |
| 1994 | ICRA | Nonholonomic Mechanics and Locomotion: The Snakeboard Example. | James P. Ostrowski, Andrew D. Lewis, Richard M. Murray, Joel W. Burdick |
| 1992 | ICRA | Fingerlike biomechanical robots. | D. Curtis Deno, Richard M. Murray, Kristofer S. J. Pister, S. Shankar Sastry |
| 1992 | ICRA | An experimental study of hierarchical control laws for grasping and manipulation using a two-fingered planar hand. | Karin Hollerbach, Richard M. Murray, S. Shankar Sastry |
| 1992 | ICRA | Steering car-like systems with trailers using sinusoids. | Dawn M. Tilbury, Jean-Paul Laumond, Richard M. Murray, Shankar Sastry, Gregory Walsh |
| 1992 | ICRA | Stabilization of trajectories for systems with nonholonomic constraints. | Gregory Walsh, Dawn M. Tilbury, Shankar Sastry, Richard M. Murray, Jean-Paul Laumond |
| 1990 | ICRA | Control primitives for robot systems. | D. Curtis Deno, Richard M. Murray, Kristofer S. J. Pister, S. Shankar Sastry |
| 1989 | ICRA | Control experiments in planar manipulation and grasping. | Richard M. Murray, S. Shankar Sastry |