Paper Accepted at ICRA 2026
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)
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)