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