PI: Prof. Zachary Sunberg
Machine learning components handle high-dimensional observations (e.g. images)
The ADCL's tree search algorithms solve realistic problems with continuous state, action and observation spaces.
The ADCL is a world leader in the development of scalable online algorithms for partially observable Markov decision processes (POMDPs)
ADCL Members developed the first general analytical bounds on particle belief approximation error, indicating that algorithms with complexity independent of the state and observation space size are possible.
Voronoi Progressive Widening
The algorithms that the ADCL develops are very general and effective in a wide range of applications including the following:
Search and Rescue
- In collaboration with the COHRINT lab, we are developing a planner to automatically search an area for a lost or injured hiker with a multirotor aircraft.
- In collaboration with other RECUV researchers, we are developing algorithms for drones equipped with sensors to find paths within a storm that gather the most informative data.
- In collaboration with NASA's jet propulsion lab, we are developing algorithms for safe autonomy for planetary exploration rovers.
- Our algorithms can help autonomous vehicles safely interact with other road users such as pedestrians or human-driven cars.
Space Domain Awareness
- We have developed game-theoretic algorithms for deception-robust sensor tasking (next slide)
Explainable Decision Support
- In collaboration with the Johns Hopkins University Applied Physics Lab, we are developing methods for AI decision support algorithms to explain their conclusions and better understand what human operators want.
- In collaboration with the University of California Berkeley, we have developed algorithms to plan rebuilding of ecosystems by adding key species sequentially.
Robotic Motion Planning
- In collaboration with other RECUV researchers, we have developed algorithms for safe motion planning under uncertainty.
A new application area for the ADCL is game theory. When rational agents have different goals, optimization can no longer represent their behavior. Instead, game theory provides a mathematical framework for reasoning about how rational agents interact.