Yu, Emily

6 publications

AAAI 2025 Neural Control and Certificate Repair via Runtime Monitoring Emily Yu, Dorde Zikelic, Thomas A. Henzinger

L4DC 2025 Predictive Monitoring of Black-Box Dynamical Systems Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, \DJor\dje Žikelić

CVPRW 2025 SAMJAM: Zero-Shot Video Scene Graph Generation for Egocentric Kitchen Videos Joshua Li, Fernando Jose Pena Cantu, Emily Yu, Alexander Wong, Yuchen Cui, Yuhao Chen

AAAI 2025 Understanding Unique Behavioral Patterns Through Multimodal Analysis of Eye-Hand Coordination in Autistic Children (Student Abstract) Emily Yu

JAIR 2022 Approximating Perfect Recall When Model Checking Strategic Abilities: Theory and Applications Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu

AAAI 2020 Model Checking Temporal Epistemic Logic Under Bounded Recall Francesco Belardinelli, Alessio Lomuscio, Emily Yu