News

TL;DR: In this work, we introduce a method of safety certification and control for neural network dynamic systems via stochastic barrier functions.

This program aims at traning new leaders who have a desire to continue growing as IEEE volunteers and lead their local units. This program will help me build crucial leadership and mentoring skills that will help me in my mentoring and outreach activities.

TL;DR: In this work, we introduce a Preference based correct-by-construction planning framework (REASON) for efficient exploration of icy moons like Europa for Autonomous Landers.

Paper Title: Let’s Colloaborate: Reactive Synthesis for Robotic Manipulators using Regret Games.

Paper Title: Expert-Informed Autonomous Science Planning for In-situ Observations and Discoveries Project Name: NASA COLDTech Abstract: Future planetary exploration missions on the surface of distant bodies such as Europa or Enceladus can’t rely on human-in-the-loop operations due to time delays, dynamic environments, limited mission lifetimes, as well as the many unknown unknowns inherent in the exploration of such environments.