23 citations · 26 across the 3 of their papers we have counts for
4 papers
Synchronous Agents, Verification, and Blame -- A Deontic View
Karam Kharraz, Shaun Azzopardi, Gerardo Schneider +1
A question we can ask of multi-agent systems is whether the agents' collective interaction satisfies particular goals or specifications, which can be either individual or collectiv…
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions
Hannes Kallwies, Martin Leucker, Cesar Sanchez
Runtime Verification deals with the question of whether a run of a system adheres to its specification. This paper studies runtime verification in the presence of partial knowledge…
A Robust Class of Data Languages and an Application to Learning
Benedikt Bollig, Peter Habermehl, Martin Leucker +1
We introduce session automata, an automata model to process data words, i.e., words over an infinite alphabet. Session automata support the notion of fresh data values, which are w…
Ordered Navigation on Multi-attributed Data Words
Normann Decker, Peter Habermehl, Martin Leucker +1
We study temporal logics and automata on multi-attributed data words. Recently, BD-LTL was introduced as a temporal logic on data words extending LTL by navigation along positions…