Aeros(CASP): Advancing Certification and Safety Through Commonsense Reasoning-Based Constraint Answer Set Programming - William Doan (2025 Regional Student Conferences, 2025)