Robotics Intelligent Systems

Research Frontiers in Hybrid Systems Formal Verification Robot

Research on formal verification methods for hybrid robotic systems combining discrete and continuous dynamics with safety guarantees.

All Robotics & Intelligent Systems PhD categories