7 citations · 19 across the 13 of their papers we have counts for
4 papers · 1 filter
Quantitative Reductions and Vertex-Ranked Infinite Games
Alexander Weinert
We introduce quantitative reductions, a novel technique for structuring the space of quantitative games and solving them that does not rely on a reduction to qualitative games. We…
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free (full version)
Daniel Neider, Alexander Weinert, Martin Zimmermann
Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have b…
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
Corto Mascle, Daniel Neider, Maximilian Schwenger +3
Runtime monitoring is commonly used to detect the violation of desired properties in safety critical cyber-physical systems by observing its executions. Bauer et al. introduced an…
Parity Games with Weights
Sven Schewe, Alexander Weinert, Martin Zimmermann
Quantitative extensions of parity games have recently attracted significant interest. These extensions include parity games with energy and payoff conditions as well as finitary pa…