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

Overview

publication date

  • December 15, 2009

Full Author List

  • LAHIJANIAN MM; Andersson SB; Belta C