My research group focuses on designing planning, decision making, and control algorithms to enable safe, purposeful and trustworthy autonomous behavior. The core of our approach is the use of formal methods-inspired techniques that allow for rigorous specification of a rich set of goals, constraints, and preferences, and automated synthesis of plans, policies, and controllers with performance guarantees. We utilize them in applications ranging from autonomous driving, exploration with UAVs or navigation around people, to network control.