About Us
We are interested in exploring theoretical and application-motivated research problems related to decision-making under uncertainty, human-robotic interaction, swarm robotics, system autonomy, UAS traffic management, intelligent transportation, formal specification and verification, and finite-state abstraction of dynamical systems.