Emily Yu

26 papers A* 4B 4Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Quantitative Monitoring of Signal First-Order Logic.
CoRR
Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu
2026 A* conf
Spatiotemporal Transformers with Multiple Instance Learning for Label-Efficient Behavioral Analysis in Autism (Student Abstract).
AAAI
Emily Yu
2025 B conf
Formal Verification of Neural Certificates Done Dynamically.
RV
Thomas A. Henzinger, Konstantin Kueffner, Emily Yu
2025 J jnl
Formal Verification of Neural Certificates Done Dynamically.
CoRR
Thomas A. Henzinger, Konstantin Kueffner, Emily Yu
2025 — conf
Introducing Certificates to the Hardware Model Checking Competition.
CAV (1)
Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko
2025 — conf
Logic Gate Neural Networks are Good for Verification.
NeuS
Fabian Kresse, Emily Yu, Christoph H. Lampert, Thomas A. Henzinger
2025 J jnl
Logic Gate Neural Networks are Good for Verification.
CoRR
Fabian Kresse, Emily Yu, Christoph H. Lampert, Thomas A. Henzinger
2025 A* conf
Neural Control and Certificate Repair via Runtime Monitoring.
AAAI
Emily Yu, Dorde Zikelic, Thomas A. Henzinger
2025 — conf
Predictive Monitoring of Black-Box Dynamical Systems.
L4DC
Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, Djordje Zikelic
2025 — conf
SAMJAM: Zero-Shot Video Scene Graph Generation for Egocentric Kitchen Videos.
CVPR Workshops
Joshua Li, Fernando Jose Pena Cantu, Emily Yu, Alexander Wong, Yuchen Cui, Yuhao Chen
2025 J jnl
SAMJAM: Zero-Shot Video Scene Graph Generation for Egocentric Kitchen Videos.
CoRR
Joshua Li, Fernando Jose Pena Cantu, Emily Yu, Alexander Wong, Yuchen Cui, Yuhao Chen
2025 J jnl
Scalable Interconnect Learning in Boolean Networks.
CoRR
Fabian Kresse, Emily Yu, Christoph H. Lampert
2025 A* conf
Understanding Unique Behavioral Patterns through Multimodal Analysis of Eye-Hand Coordination in Autistic Children (Student Abstract).
AAAI
Emily Yu
2024 — conf
Certifying Phase Abstraction.
IJCAR (1)
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
2024 J jnl
Certifying Phase Abstraction.
CoRR
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
2024 J jnl
Neural Control and Certificate Repair via Runtime Monitoring.
CoRR
Emily Yu, Dorde Zikelic, Thomas A. Henzinger
2024 J jnl
Predictive Monitoring of Black-Box Dynamical Systems.
CoRR
Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, Dorde Zikelic
2023 B conf
BIG Backbones.
FMCAD
Nils Froleyks, Emily Yu, Armin Biere
2023 B conf
Towards Compositional Hardware Model Checking Certification.
FMCAD
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
2022 J jnl
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications.
J. Artif. Intell. Res.
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu
2022 B conf
Stratified Certification for k-Induction.
FMCAD
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
2022 J jnl
Stratified Certification for k-Induction.
CoRR
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
2021 — conf
Progress in Certifying Hardware Model Checking Results.
CAV (2)
Emily Yu, Armin Biere, Keijo Heljanko
2020 A* conf
Model Checking Temporal Epistemic Logic under Bounded Recall.
AAAI
Francesco Belardinelli, Alessio Lomuscio, Emily Yu
2019 — conf
A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas.
FTSCS
Emily Yu, Martina Seidl, Armin Biere
2009 — conf
Movement and Recovery Analysis of a Mouse-Replacement Interface for Users with Severe Disabilities.
HCI (6)
Caitlin Connor, Emily Yu, John J. Magee, Esra Cansizoglu, Samuel Epstein, Margrit Betke