Predictive Monitoring of Black-Box Dynamical Systems. - Thomas A. Henzinger; Fabian Kresse; Kaushik Mallik; Emily Yu; Djordje Zikelic (L4DC, 2025)

Logic Gate Neural Networks are Good for Verification. - Fabian Kresse; Emily Yu; Christoph H. Lampert; Thomas A. Henzinger (NeuS, 2025)

Scalable Interconnect Learning in Boolean Networks. - Fabian Kresse; Emily Yu; Christoph H. Lampert (CoRR, 2025)