Richard M. Murray | DeepAI

AI Chat

Featured Co-authors

Yisong Yue
96 publications
Aaron D. Ames
86 publications
Sanjit A. Seshia
65 publications
Alberto Sangiovanni-Vincentelli
34 publications
Joel W. Burdick
33 publications
Yuxiao Chen
28 publications
Soon-Jo Chung
27 publications
Stephan Zheng
23 publications
Michelle Effros
21 publications
Animashree Anandkumar
21 publications
Ugo Rosolia
17 publications

∙ 05/27/2023

Context-Aided Variable Elimination for Requirement Engineering

Deriving system-level specifications from component specifications usual...

0 Inigo Incer, et al. ∙

∙ 03/31/2023

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design

Contract-based design is a method to facilitate modular system design. W...

0 Inigo Incer, et al. ∙

∙ 01/23/2023

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications

We propose an adversarial, time-varying test-synthesis procedure for saf...

0 Prithvi Akella, et al. ∙

∙ 10/19/2022

Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows

We study automated test generation for verifying discrete decision-makin...

0 Apurva Badithela, et al. ∙

∙ 10/19/2022

Evaluation Metrics for Object Detection for Autonomous Systems

This paper studies the evaluation of learning-based object detection mod...

0 Apurva Badithela, et al. ∙

∙ 08/12/2022

OUTformation: Distributed Data-Gathering with Feedback under Unknown Environment and Communication Delay Constraints

Towards the informed design of large-scale distributed data-gathering ar...

0 SooJean Han, et al. ∙

∙ 04/06/2022

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems

We present a framework for merging unit tests for autonomous systems. Ty...

0 Josefine Graebener, et al. ∙

∙ 09/09/2021

Risk-Averse Decision Making Under Uncertainty

A large class of decision making under uncertainty problems can be descr...

10 Mohamadreza Ahmadi, et al. ∙

∙ 08/12/2021

Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems

In this paper, we investigate formal test-case generation for high-level...

0 Apurva Badithela, et al. ∙

∙ 05/16/2021

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications

In many autonomy applications, performance of perception algorithms is i...

0 Apurva Badithela, et al. ∙

∙ 03/05/2021

Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty

When autonomous robots interact with humans, such as during autonomous d...

0 Richard Cheng, et al. ∙

∙ 12/04/2020

Constrained Risk-Averse Markov Decision Processes

We consider the problem of designing policies for Markov decision proces...

10 Mohamadreza Ahmadi, et al. ∙

∙ 11/28/2020

Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles

The ability to guarantee safety and progress for all vehicles is vital t...

0 Karena X. Cai, et al. ∙

∙ 04/08/2020

Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions

The prolific rise in autonomous systems has led to questions regarding t...

0 Prithvi Akella, et al. ∙

∙ 01/20/2020

Counter-example Guided Learning of Bounds on Environment Behavior

There is a growing interest in building autonomous systems that interact...

0 Yuxiao Chen, et al. ∙

∙ 12/10/2019

Learning Pose Estimation for UAV Autonomous Navigation andLanding Using Visual-Inertial Sensor Data

In this work, we propose a robust network-in-the-loop control system tha...

16 Francesca Baldini, et al. ∙

∙ 11/19/2019

Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems

Motivated by exploration of communication-constrained underground enviro...

0 Filip Klaesson, et al. ∙

∙ 09/27/2019

Risk-Averse Planning Under Uncertainty

We consider the problem of designing policies for partially observable M...

11 Mohamadreza Ahmadi, et al. ∙

∙ 09/11/2019

Towards Assume-Guarantee Profiles for Autonomous Vehicles

Rules or specifications for autonomous vehicles are currently formulated...

0 Tung Phan-Minh, et al. ∙

∙ 03/21/2019

End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks

Reinforcement Learning (RL) algorithms have found limited success beyond...

0 Richard Cheng, et al. ∙

∙ 03/11/2018

Detecting Adversarial Examples via Neural Fingerprinting

Deep neural networks are vulnerable to adversarial examples, which drama...

0 Sumanth Dathathri, et al. ∙

∙ 09/20/2017

Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis

Temporal logic based synthesis approaches are often used to find traject...

0 Sumanth Dathathri, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world