DARE - Dynamic AI and Robotics Engineering LabThe DARE Lab at the University of British Columbia works at the intersection of artificial intelligence, robotics, and formal verification. We develop principled methods that allow autonomous systems to learn, reason, and act reliably in complex and uncertain environments. Our research spans machine learning theory, robot learning, and safety verification for learning-enabled cyber-physical systems. FundingWe gratefully acknowledge support from UBC Startup Grant. TeamPh.D. StudentsMasters / Undergraduate StudentsStudent Collaborators
Visiting Students & Postdocs
Alumni
Principal Investigator |