Special Sessions

[C2L-D] Modeling and Control of Cyber-Physical Systems

Wed. Dec 14, 2022 10:20 AM - 12:00 PM Room D (Zoom 3)

Chair:Hikaru Hoshino(University of Hyogo)

10:20 AM - 10:40 AM

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

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

10:40 AM - 11:00 AM

*Koichi Kitamura¹, Koichi Kobayashi¹, Yuh Yamashita¹ (1. Hokkaido University)

11:00 AM - 11:20 AM

*Yuya Muto¹, Chiaki Kojima¹, Yuki Okura¹ (1. Toyama Prefectural University)

11:20 AM - 11:40 AM

*Hikaru Hoshino¹ (1. University of Hyogo)

Break （11:40 AM - 12:00 PM）