SafeNet: A Neural-Symbolic Network for Safe Planning in Robotic Systems using Formal Method-Guided LLM Fine-Tuning
Published in IEEE International Conference on Robotics and Automation (ICRA 2026), 2026
Jialiang Fan
PhD student at University of Notre Dame. Research in cyber-physical systems, robotics, reinforcement learning, and safe learning.
- Notre Dame, IN
- University of Notre Dame
- Google Scholar
- GitHub