85 citations · 86 across the 5 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2014
A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications
Dorsa Sadigh, Eric S. Kim, Samuel Coogan +2
We propose to synthesize a control policy for a Markov decision process (MDP) such that the resulting traces of the MDP satisfy a linear temporal logic (LTL) property. We construct…
eess.SY2013
Robust Subspace System Identification via Weighted Nuclear Norm Optimization
Dorsa Sadigh, Henrik Ohlsson, S. Shankar Sastry +1
Subspace identification is a classical and very well studied problem in system identification. The problem was recently posed as a convex optimization problem via the nuclear norm…