Sitemap

A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.

Pages

Posts

Paper Accepted at ICRA 2026

less than 1 minute read

Published:

Our paper “SafeNet: A Neural-Symbolic Network for Safe Planning in Robotic Systems using Formal Method-Guided LLM Fine-Tuning” has been accepted to ICRA 2026 in Vienna, Austria! (Second author)

Paper Accepted at ICCPS 2026

less than 1 minute read

Published:

Our paper “Vulnerability Exploration of Safe Reinforcement Learning in Cyber-Physical Systems via STL Mining” has been accepted to ICCPS 2026! (First author)

portfolio

publications

talks

teaching