@dblp

Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees.

, , , and . ICRA, page 3227-3232. IEEE, (2010)

Links and resources

Tags