Controlling Wild Bodies Using Linear Temporal Logic

People

Leonardo Bobadilla
Oscar Sanchez
Justin Czarnowski
Katrina Goodman
Steve LaValle

Motivation

Put motivation here

Single Body



Patrolling

Sequencing

Programmable Coverage


Multiple Bodies



Navigation of Multiple Bodies

Group splitting and coverage

Using Real time intervals



Navigation Using Time Intervals