Login / Signup

A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications.

Dorsa SadighEric S. KimSamuel CooganS. Shankar SastrySanjit A. Seshia
Published in: CDC (2014)
Keyphrases