2 papers
cs.SE2026
A Unified Framework for Runtime Verification and Model-Based Diagnosis in LOLA
Raik Hipler, Martin Leucker, Patrick Rodler
We present an integrated framework that unifies runtime verification and model-based diagnosis within the stream specification language LOLA. By encoding system descriptions, compo…
cs.LG2026
Learning to Solve and Optimize by Evolving Code
Veronika Semmelrock, Benedetta Strizzolo, Francesco Zuccato +3
Combinatorial and optimization problems are fundamental to many industrial AI applications. Solving large-scale real-world instances of such problems typically requires careful pro…