Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees Conference Proceeding uri icon


publication date

  • May 3, 2010

has restriction

  • green

Date in CU Experts

  • February 1, 2019 9:07 AM

Full Author List

  • Lahijanian M; Wasniewski J; Andersson SB; Belta C

author count

  • 4

Other Profiles