3 papers
cs.RO2026
Predictive Zonotope Reduction: Precise Runtime Monitoring under Uncertainty
Vladimir Krsmanovic, Florian Kohn, Bernd Finkbeiner +1
Robots operating in physical environments make control decisions based on uncertain sensor measurements, which can lead to unsafe or suboptimal actions. Runtime monitors that check…
cs.LG2026
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
Frederik Schmitt, Matthias Cosler, Niklas Metzger +4
Reactive synthesis, the problem of automatically constructing a hardware circuit from a logical specification, is a long-standing challenge in formal verification. It is elusive fo…
cs.LG2025
Learning Representations Through Contrastive Neural Model Checking
Vladimir Krsmanovic, Matthias Cosler, Mohamed Ghanem +1
Model checking is a key technique for verifying safety-critical systems against formal specifications, where recent applications of deep learning have shown promise. However, while…