Emily Yu

According to our database, Emily Yu authored at least 9 papers between 2009 and 2024.

Collaborative distances:

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

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