Niklas Kochdumper, Chiao Hsieh, Hadi Dayekh, Amit Gurung, Thao Dang, Masaki Waga, Hidekazu Segawa, and Kohei Suenaga
Evaluating Hybrid Automata Learning Tools Based on Their Success in Formal Verification
Proceedings of the Mediterranean Conference on Control and Automation
2026