5 papers
TL;QR: Querying Temporal Discursive Patterns in Textual Corpora
François Hublet, Vladimir Krsmanovic, Jesus Solano +2
Many questions about large textual corpora concern patterns that unfold over time, such as a political group whose stance on a topic drifts from support to criticism over several y…
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…
FairMon: A Tool for Monitoring and Visualizing Algorithmic Fairness
Jan Baumeister, Bernd Finkbeiner, Vladimir Krsmanovic +3
Runtime monitoring has recently been proposed as a rigorous method for analyzing algorithmic fairness of autonomous decision systems used in critical scenarios such as credit lendi…
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…
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…