[C2L-D] S5.8

[C2L-D-01] Black Box Checking of Mobile Robot Path Planning Satisfying Safety Hyperproperties

*Naomi Kuze¹, Keiichiro Seno¹, Toshimitsu Ushio¹ (1. Osaka University)

キーワード：Black box checking, k-safety hyperproperties, automaton