11:30
- 11:45
UPPAAL SMCを用いた交差点における自動運転車群制御システムの検証
Formal verification of autonomous vehicle group control systems at an intersection using UPPAAL SMC