activity
20152026
most citedUsing control synthesis to generate corner cases: A case study on autonomous driving

49 citations · 163 across the 51 of their papers we have counts for

collaborators
Showing 2020Show all

8 papers · 1 filter

cs.RO2020★ 8 cited

Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations

Glen Chou, Necmiye Ozay, Dmitry Berenson

We present a method for learning to satisfy uncertain constraints from demonstrations. Our method uses robust optimization to obtain a belief over the potentially infinite set of p…

cs.RO2020

Planning with Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constants

Craig Knuth, Glen Chou, Necmiye Ozay +1

We present a method for feedback motion planning of systems with unknown dynamics which provides probabilistic guarantees on safety, reachability, and goal stability. To find a dom…

cs.RO2020★ 2 cited

Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations

Glen Chou, Necmiye Ozay, Dmitry Berenson

We present a method for learning multi-stage tasks from demonstrations by learning the logical structure and atomic propositions of a consistent linear temporal logic (LTL) formula…

cs.RO2020

Inferring Obstacles and Path Validity from Visibility-Constrained Demonstrations

Craig Knuth, Glen Chou, Necmiye Ozay +1

Many methods in learning from demonstration assume that the demonstrator has knowledge of the full environment. However, in many scenarios, a demonstrator only sees part of the env…

eess.SY2020★ 1 cited

Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays

Zexiang Liu, Liren Yang, Necmiye Ozay

In this paper, we first propose a method that can efficiently compute the maximal robust controlled invariant set for discrete-time linear systems with pure delay in input. The key…

eess.SY2020

On Abstraction-Based Controller Design With Output Feedback

Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck

We consider abstraction-based design of output-feedback controllers for dynamical systems with a finite set of inputs and outputs against specifications in linear-time temporal log…