Emily Yu

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 10

Top Topics

Verification Method

Pspace Complete

Top Venues

Publications

Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
Certifying Phase Abstraction. CoRR (2024)
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
Certifying Phase Abstraction. IJCAR (1) (2024)
Nils Froleyks, Emily Yu, Armin Biere
BIG Backbones. FMCAD (2023)
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
Towards Compositional Hardware Model Checking Certification. FMCAD (2023)
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
Stratified Certification for k-Induction. FMCAD (2022)
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. J. Artif. Intell. Res. 73 (2022)
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
Stratified Certification for k-Induction. CoRR (2022)
Emily Yu, Armin Biere, Keijo Heljanko
Progress in Certifying Hardware Model Checking Results. CAV (2) (2021)
Francesco Belardinelli, Alessio Lomuscio, Emily Yu
Model Checking Temporal Epistemic Logic under Bounded Recall. AAAI (2020)
Emily Yu, Martina Seidl, Armin Biere
A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas. FTSCS (2019)
Caitlin Connor, Emily Yu, John J. Magee, Esra Cansizoglu, Samuel Epstein, Margrit Betke
Movement and Recovery Analysis of a Mouse-Replacement Interface for Users with Severe Disabilities. HCI (6) (2009)