4 citations · 13 across the 11 of their papers we have counts for
10 papers · 1 filter
First-Order LTLf Synthesis with Lookback (Extended Version)
Sarah Winkler
Reactive synthesis addresses the problem of generating a controller for a temporal specification in an adversarial environment; it was typically studied for LTL. Driven by applicat…
Monitoring Arithmetic Temporal Properties on Finite Traces
Paolo Felli, Marco Montali, Fabio Patrizi +1
We study monitoring of linear-time arithmetic properties against finite traces generated by an unknown dynamic system. The monitoring state is determined by considering at once the…
CTL* model checking for data-aware dynamic systems with arithmetic
Paolo Felli, Marco Montali, Sarah Winkler
The analysis of complex dynamic systems is a core research topic in formal methods and AI, and combined modelling of systems with data has gained increasing importance in applicati…
Soundness of Data-Aware Processes with Arithmetic Conditions
Paolo Felli, Marco Montali, Sarah Winkler
Data-aware processes represent and integrate structural and behavioural constraints in a single model, and are thus increasingly investigated in business process management and inf…
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic
Paolo Felli, Marco Montali, Sarah Winkler
Combined modeling and verification of dynamic systems and the data they operate on has gained momentum in AI and in several application domains. We investigate the expressive yet c…
Tools in Term Rewriting for Education
Sarah Winkler, Aart Middeldorp
Term rewriting is a Turing complete model of computation. When taught to students of computer science, key properties of computation as well as techniques to analyze programs on an…