Posts by Tags

conference

news

publication

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)