publications

Authorship in many of the papers is alphabetical.

2025

  1. Formal Verification of Neural Certificates Done Dynamically
    Thomas A. Henzinger, Konstantin Kueffner, and Emily Yu
    In International Conference on Runtime Verification (RV), 2025
  2. Scalable Interconnect Learning in Boolean Networks
    Fabian Kresse, Emily Yu, and Christoph H Lampert
    arXiv preprint arXiv:2507.02585, 2025
  3. Predictive Monitoring of Black-Box Dynamical Systems
    Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, and Dorde Zikelic
    In Learning for Dynamics and Control Conference (L4DC), 2025
  4. Logic Gate Neural Networks are Good for Verification
    Fabian Kresse, Emily Yu, Christoph H. Lampert, and Thomas A. Henzinger
    In International Conference on Neuro-symbolic Systems (NeuS), 2025
    *Disruptive Idea Award*
  5. Introducing Certificates to the Hardware Model Checking Competition
    Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, and Keijo Heljanko
    In International Conference on Computer Aided Verification (CAV), 2025
    *Distinguished Paper Award*
  6. Neural Control and Certificate Repair via Runtime Monitoring
    Emily Yu, Dorde Zikelic, and Thomas A. Henzinger
    In AAAI Conference on Artificial Intelligence (AAAI), 2025
    *Selected for oral presentation*

2024

  1. Certifying Phase Abstraction
    Nils Froleyks, Emily Yu, Armin Biere, and Keijo Heljanko
    In International Joint Conference on Automated Reasoning (IJCAR), 2024
  2. Ternary Simulation as Abstract Interpretation (Work in Progress)
    Nils Froleyks, Emily Yu, and Armin Biere
    In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2024

2023

  1. Towards Compositional Hardware Model Checking Certification
    Emily Yu, Nils Froleyks, Armin Biere, and Keijo Heljanko
    In Formal Methods in Computer-Aided Design (FMCAD), 2023
  2. Stratified Certification for k-induction (Extended Abstract)
    Emily Yu, Nils Froleyks, Armin Biere, and Keijo Heljanko
    In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2023
  3. BIG Backbones
    Nils Froleyks, Emily Yu, and Armin Biere
    In Formal Methods in Computer-Aided Design (FMCAD), 2023
  4. Certifying Hardware Model Checking
    Emily Yu
    2023
    Johannes Kepler Univeristy Linz (PhD Thesis)

2022

  1. Stratified Certification for k-Induction
    Emily Yu, Nils Froleyks, Armin Biere, and Keijo Heljanko
    In Formal Methods in Computer-Aided Design (FMCAD), 2022
  2. Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
    Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, and Emily Yu
    Journal of Artificial Intelligence Research (JAIR), 2022
  3. Hardware Model Checking Certificates
    Emily Yu, Nils Froleyks, Armin Biere, and Mathias Fleury
    In SAT Competition, 2022
  4. Unique Reconfiguration Sequence
    Nils Froleyks, Emily Yu, and Armin Biere
    In SAT Competition, 2022

2021

  1. Progress in Certifying Hardware Model Checking Results
    Emily Yu, Armin Biere, and Keijo Heljanko
    In International Conference on Computer Aided Verification (CAV), 2021

2020

  1. Model Checking Temporal Epistemic Logic under Bounded Recall
    Francesco Belardinelli, Alessio Lomuscio, and Emily Yu
    In AAAI Conference on Artificial Intelligence (AAAI), 2020

2019

  1. A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas
    Emily Yu, Martina Seidl, and Armin Biere
    In Formal Techniques for Safety-Critical Systems (FTSCS), 2019
  2. Certifying Hardware Model Checking Results
    Emily Yu, Armin Biere, and Keijo Heljanko
    In Formal Engineering Methods (ICFEM), 2019

2018

  1. Model Checking Temporal Epistemic Logic under Bounded Recall
    Emily Yu
    2018
    Imperial College London (Master Thesis)