Emily Yu

According to our database, Emily Yu authored at least 27 papers between 2009 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Quantitative Monitoring of Signal First-Order Logic.

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

CoRR, March, 2026

Spatiotemporal Transformers with Multiple Instance Learning for Label-Efficient Behavioral Analysis in Autism (Student Abstract).

Emily Yu

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Scalable Interconnect Learning in Boolean Networks.

Fabian Kresse, Emily Yu, Christoph H. Lampert

CoRR, July, 2025

Introducing Certificates to the Hardware Model Checking Competition.

Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko

Dataset, April, 2025

Introducing Certificates to the Hardware Model Checking Competition.

Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko

Dataset, April, 2025

Introducing Certificates to the Hardware Model Checking Competition.

Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko

Dataset, April, 2025

Introducing Certificates to the Hardware Model Checking Competition.

Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko

Dataset, April, 2025

Introducing Certificates to the Hardware Model Checking Competition.

Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko

Dataset, April, 2025

Introducing Certificates to the Hardware Model Checking Competition.

Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko

Dataset, April, 2025

Introducing Certificates to the Hardware Model Checking Competition.

Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko

Dataset, April, 2025

Challenging Certificates from Model Checking.

Nils Froleyks, Emily Yu, Armin Biere

Dataset, April, 2025

Formal Verification of Neural Certificates Done Dynamically.

Thomas A. Henzinger, Konstantin Kueffner, Emily Yu

Proceedings of the Runtime Verification - 25th International Conference, 2025

Logic Gate Neural Networks are Good for Verification.

Fabian Kresse, Emily Yu, Christoph H. Lampert, Thomas A. Henzinger

Proceedings of the International Conference on Neuro-symbolic Systems, 2025

Predictive Monitoring of Black-Box Dynamical Systems.

Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, Djordje Zikelic

Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 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

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 2025

Introducing Certificates to the Hardware Model Checking Competition.

Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

Neural Control and Certificate Repair via Runtime Monitoring.

Emily Yu, Dorde Zikelic, Thomas A. Henzinger

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

Understanding Unique Behavioral Patterns through Multimodal Analysis of Eye-Hand Coordination in Autistic Children (Student Abstract).

Emily Yu

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Certifying Phase Abstraction.

Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Towards Compositional Hardware Model Checking Certification.

Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko

Proceedings of the Formal Methods in Computer-Aided Design, 2023

BIG Backbones.

Nils Froleyks, Emily Yu, Armin Biere

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications.

Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu

J. Artif. Intell. Res., 2022

Stratified Certification for k-Induction.

Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Progress in Certifying Hardware Model Checking Results.

Emily Yu, Armin Biere, Keijo Heljanko

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Model Checking Temporal Epistemic Logic under Bounded Recall.

Francesco Belardinelli, Alessio Lomuscio, Emily Yu

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas.

Emily Yu, Martina Seidl, Armin Biere

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

2009

Movement and Recovery Analysis of a Mouse-Replacement Interface for Users with Severe Disabilities.

Caitlin Connor, Emily Yu, John J. Magee, Esra Cansizoglu, Samuel Epstein, Margrit Betke

Proceedings of the Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments, 2009