Login / Signup
A Suite of Tools for Debugging Distributed Autonomous Systems.
David Kortenkamp
Reid G. Simmons
Tod Milam
Joaquín Lopez Fernández
Published in:
Formal Methods Syst. Des. (2004)
Keyphrases
</>
autonomous systems
uncertain environments
dynamic environments
dynamic and uncertain environments
multi agent
autonomous navigation
decision support
learning strategies
situation awareness
unmanned aerial vehicles