Sign in

Control of Markov decision processes from PCTL specifications.

Morteza LahijanianSean B. AnderssonCalin Belta
Published in: ACC (2011)
Keyphrases