Skip to main content
  • Home
  • Bio
  • Publications
  • Projects
  • Get in touch

Distribution Temporal Logic

Control in Belief Space with Temporal Logic Specifications using Vision-based Localization

Kevin Leahy, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, and Calin Belta. Control in Belief Space with Temporal Logic Specifications using Vision-based Localization. International Journal of Robotics Research. 38(6):702-722. doi:10.1177/0278364919846340.

Tags: 
Persistent Surveillance
Distribution Temporal Logic
Belief Space Planning
Homography-based Formation Control
Vision-based Localization
Sampling-based Methods
Stochastic System
Robot Vision
Motion and Path Planning
Aerial Robotics
Ground Robotics
Robotics
  • Read more about Control in Belief Space with Temporal Logic Specifications using Vision-based Localization
Subscribe to RSS - Distribution Temporal Logic