2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC) Conference

Publications

related documents

A probabilistic approach for control of a stochastic system from LTL specifications Conference Proceeding