Login / Signup
Formal Performance Guarantees for Behavior-Based Localization Missions.
Damian M. Lyons
Ronald C. Arkin
Shu Jiang
Matthew Joseph O'Brien
Feng Tang
Peng Tang
Published in:
ICTAI (2016)
Keyphrases
</>
space exploration
formal model
formal models
localization algorithm
multi agent
particle filter
object localization
data sets
artificial intelligence
dynamic environments
robot control
initial state
formal representation
source localization