1. 연사: 강병훈(KAIST 전산학부)

2. 주제: AI 시대 초연결 미래 모빌리티를 위한 시스템 보안

3. 일시: 12/11 (목요일), 오후 4시~5시 30분

4. 장소: L409호

5. Abstract: This research develops safety verification and safe decision-making methods for advanced air mobility (AAM) under two challenges: uncertain vehicle dynamics during critical flight-mode transitions and safety risks in dense multi-vehicle interactions. For vehicle-level safety, it uses reachability-based verification but replaces fully known dynamics with conservative, data-driven estimates from safely collected trajectory data, then expands the verified safe region through safety-filtered exploration that prevents rollouts from leaving the currently certified set. The approach is demonstrated on a published VTOL longitudinal model with aerodynamic lookup tables. For system-level safety, it addresses “leaky corner” failures where pairwise safety constraints break down in three-or-more-agent encounters, and incorporates reachability structure into decentralized decision-making by combining reachability-informed constraints with learning-based policies to reduce unsafe interactions while maintaining performance.