2022 International Symposium on Nonlinear Theory and Its Applications (NOLTA2022)

Presentation information

Print

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 Kuze1, Keiichiro Seno1, Toshimitsu Ushio1 (1. Osaka University)

Keywords:Black box checking, k-safety hyperproperties, automaton

Please log in with your participant account.
» Participant Log In