Solving parity games is a major building block for numerous applications...
Monitoring often requires insight into the monitored system as well as
c...
When using multiple software tools to analyze, visualize, or optimize mo...
Research software is often developed by individual researchers or small ...
When designing multidisciplinary tool workflows in visual development
en...
Linear Temporal Logic (LTL) is the standard specification language for
r...
We present RCE (Remote Component Environment), an open-source framework
...
We introduce quantitative reductions, a novel technique for structuring ...
Linear Temporal Logic (LTL) is the standard specification language for
r...
Runtime verification is commonly used to detect and, if possible, react ...
Quantitative extensions of parity games have recently attracted signific...
Recently, Dallal, Neider, and Tabuada studied a generalization of the
cl...