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)