Publications

Note: authorship in many of the papers is alphabetical

Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko (2022). Stratified Certification for k-induction. In Conference on Formal Methods in Computer-Aided Design (FMCAD 2022).
Emily Yu, Nils Froleyks, Armin Biere, Mathias Fleury (2022). Hardware Model Checking Certificates. Benchmark description, SAT Competition 2022.
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu (2022). Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. In Journal of Artificial Intelligence Research (JAIR).
Emily Yu, Armin Biere, Keijo Heljanko (2021). Progress in Certifying Hardware Model Checking Results. In Computer Aided Verification (CAV 2021).
Francesco Belardinelli, Alessio Lomuscio, Emily Yu (2020). Model Checking Temporal Epistemic Logic under Bounded Recall. In Annual AAAI Conference on Artificial Intelligence (AAAI 2020).
Emily Yu, Armin Biere, Keijo Heljanko (2019). Certifying Hardware Model Checking Results. In International Conference on Formal Engineering Methods (ICFEM 2019).
Emily Yu, Martina Seidl, Armin Biere (2019). A framework for model checking against CTLK using quantified boolean formulas. In Formal Techniques for Safety-Critical Systems (FTSCS 2019).