Dependable Autonomy Laboratory

Our lab aims developing novel theory and algorithms for achieving desired behaviors of autonomous robots in uncertain, dynamic, and cluttered environments. We focus on planning, control, and learning problems and use control theory, formal methods, optimization, and machine learning to derive provably-correct solutions to these problems. We also conduct experiments with several ground and aerial robots of various sizes and capabilities. 

Current members

PI: Derya Aksaray

Graduate students:

• Azizollah Taheri (PhD)

• Bera Yuksel (PhD)

• Kasidit Muenprasitivej (PhD)

Former members

Ali Tevfik Buyukkocak (UMN, 2019-2024, PhD)

Sriram Kodeeswaran (Fall 2024, MS)

Drew Balfour (Spring 2024, UG)

Levi Vande Kamp (UMN, 2021-2022, MS)

Ahmet Semi Asarkaya (UMN, 2019-2021, MS)

Ryan Peterson (UMN, 2018-2020, MS)