7 citations · 19 across the 13 of their papers we have counts for
17 papers
Predicting Winning Regions in Parity Games via Graph Neural Networks (Extended Abstract)
Tobias Hecking, Swathy Muthukrishnan, Alexander Weinert
Solving parity games is a major building block for numerous applications in reactive program verification and synthesis. While they can be solved efficiently in practice, no known…
Towards Specificationless Monitoring of Provenance-Emitting Systems
Martin Stoffers, Alexander Weinert
Monitoring often requires insight into the monitored system as well as concrete specifications of expected behavior. More and more systems, however, provide information about their…
Orchestrating Tool Chains for Model-based Systems Engineering with RCE
Jan Flink, Robert Mischke, Kathrin Schaffert +2
When using multiple software tools to analyze, visualize, or optimize models in MBSE, it is often tedious and error-prone to manually coordinate the execution of these tools and to…
Automated and manual testing as part of the research software development process of RCE
Robert Mischke, Kathrin Schaffert, Dominik Schneider +1
Research software is often developed by individual researchers or small teams in parallel to their research work. The more people and research projects rely on the software in ques…
Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis
Dominik Schneider, Alexander Weinert
When designing multidisciplinary tool workflows in visual development environments, researchers and engineers often combine simulation tools which serve a functional purpose and he…
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
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…
RCE: An Integration Environment for Engineering and Science
Brigitte Boden, Jan Flink, Niklas Först +5
We present RCE (Remote Component Environment), an open-source framework developed primarily at DLR (German Aerospace Center) that enables its users to construct and execute multidi…
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…
Synthesizing Optimally Resilient Controllers
Daniel Neider, Alexander Weinert, Martin Zimmermann
Recently, Dallal, Neider, and Tabuada studied a generalization of the classical game-theoretic model used in program synthesis, which additionally accounts for unmodeled intermitte…
VLDL Satisfiability and Model Checking via Tree Automata
Alexander Weinert
We present novel algorithms solving the satisfiability problem and the model checking problem for Visibly Linear Dynamic Logic (VLDL) in asymptotically optimal time via a reduction…
Quantitative Reductions and Vertex-Ranked Infinite Games (Full Version)
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…
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
Alexander Weinert, Martin Zimmermann
The winning condition of a parity game with costs requires an arbitrary, but fixed bound on the cost incurred between occurrences of odd colors and the next occurrence of a larger…
Visibly Linear Dynamic Logic
Alexander Weinert, Martin Zimmermann
We introduce Visibly Linear Dynamic Logic (VLDL), which extends Linear Temporal Logic (LTL) by temporal operators that are guarded by visibly pushdown languages over finite words.…
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
Leander Tentrup, Alexander Weinert, Martin Zimmermann
We consider the optimization variant of the realizability problem for Prompt Linear Temporal Logic, an extension of Linear Temporal Logic (LTL) by the prompt eventually operator wh…