#### Filter Results:

- Full text PDF available (8)

#### Publication Year

2013

2017

- This year (2)
- Last 5 years (7)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Alexander Weinert, Martin Zimmermann
- CSL
- 2016

The winning condition of a parity game with costs requires an arbitrary, but fixed bound on the distance between occurrences of odd colors and the next occurrence of a larger even one. Such games quantitatively extend parity games while retaining most of their attractive properties, i.e, determining the winner is in NP and co-NP and one player has… (More)

- Alexander Weinert, Martin Zimmermann
- FSTTCS
- 2016

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. In VLDL one can, e.g., express that a function resets a variable to its original value after its execution, even in the presence of an unbounded number of intermediate recursive… (More)

- Leander Tentrup, Alexander Weinert, Martin Zimmermann
- GandALF
- 2015

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 whose scope is bounded by some parameter. In the realizability optimization problem, one is interested in computing the minimal such bound that allows to realize a given… (More)

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 to the emptiness problem for tree automata with Büchi acceptance. Since VLDL allows for the specification of important properties of recursive systems, this reduction enables the… (More)

- K. Henn, A. Richert, +4 authors A. Weinert

The COSY control system architecture is organieed strongly hierarchically with distributed intelligence and extensive use of standards. At the top level of computer control hardware work stations give the operator graphi-cal access to the process. For these tasks Hewlett Packard HP 9000 Series 700 computers with HP-UX and X-Windows/Motif are in use. Also… (More)

- M. Stephan, A. Richert, K. Sobotta, A. Weinert, KFA Jdich

The COSY control system is hierarchically organized with distributed intelligence and autonomous processing units for dedicated components. Data cottitnunicatiott is per-forttted via LAN and over a fieldbus. The hostsystems are UNlX-based, whereas the field-controllers are running a tttodular realtime operating-system RT/OS which has bectt developed at KFA.… (More)

- R. Biesenbach, A. Weinert
- 2013 9th International Symposium on Mechatronics…
- 2013

Introducing automation distributed in small (sub-) systems will be an enabler to more functions, comfort, energy savings, growth of quality and other advantages in many fields so far not at all or only sparsely or automated. The latter is the case in small buildings and private homes. Here it is essential that the extra automation equipment brought in is… (More)

- Alexander Weinert
- ArXiv
- 2017

We introduce quantitative reductions, a novel technique for solving quantitative games that does not rely on a reduction to qualitative games. We demonstrate that such reductions exhibit the same desirable properties as qualitative ones. In addition, they retain the op-timality of solutions. As a general-purpose target for quantitative reductions , we… (More)

- Loris D'Antoni, Matthew Weavery, Alexander Weinert, Rajeev Alur
- Bulletin of the EATCS
- 2015

Automata Tutor is an online tool that helps students learn basic concepts in theory of computation, such as finite automata and regular expressions. The tool provides personalized feedback when students submit incorrect solutions, and also helps teachers managing large classes by automatically grading homework assignments. Automata Tutor has already been… (More)

- ‹
- 1
- ›