13 citations · 19 across the 19 of their papers we have counts for
3 papers · 1 filter
Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification
Xi Zheng, Dulanga Weerakoon, Yintong Huo +8
Embodied AI systems are increasingly deployed in open-world environments, yet ensuring their reliability remains a fundamental challenge. Drawing on discussions from the AAAI'26 Br…
An LLM-driven Scenario Generation Pipeline Using an Extended Scenic DSL for Autonomous Driving Safety Validation
Fida Khandaker Safa, Yupeng Jiang, Xi Zheng
Real-world crash reports, which combine textual summaries and sketches, are valuable for scenario-based testing of autonomous driving systems (ADS). However, current methods cannot…
Visual Marker Search for Autonomous Drone Landing in Diverse Urban Environments
Jiaohong Yao, Linfeng Liang, Yao Deng +3
Marker-based landing is widely used in drone delivery and return-to-base systems for its simplicity and reliability. However, most approaches assume idealized landing site visibili…