Chair for Verification and
Synthesis of Reactive Systems
People
Research
Publications
Tools
Student Projects
Courses
Dr. Alexander Weinert
Now at
German Aerospace Center
Publications
While being a member of this group or in collaboration with us.
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
Corto Mascle
,
Daniel Neider
,
Maximilian Schwenger
,
Paulo Tabuada
,
Alexander Weinert
and
Martin Zimmermann
·
HSCC 2020
Visibly Linear Dynamic Logic
Alexander Weinert
and
Martin Zimmermann
·
TCS 747
Quantitative Reductions and Infinite Vertex-Ranked Games
Alexander Weinert
·
GandALF 2018
Synthesizing Optimally Resilient Controllers
Daniel Neider
,
Alexander Weinert
and
Martin Zimmermann
·
CSL 2018
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
Daniel Neider
,
Alexander Weinert
and
Martin Zimmermann
·
arXiv
Parity Games with Weights
Sven Schewe
,
Alexander Weinert
and
Martin Zimmermann
·
arXiv
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
Alexander Weinert
and
Martin Zimmermann
·
LMCS
Synthesizing Optimally Resilient Controllers
Daniel Neider
,
Alexander Weinert
and
Martin Zimmermann
·
arXiv
VLDL Satisfiability and Model Checking via Tree Automata
Alexander Weinert
·
arXiv
Quantitative Reductions and Infinite Vertex-Ranked Games
Alexander Weinert
·
arXiv
Visibly Linear Dynamic Logic
Alexander Weinert
and
Martin Zimmermann
·
FSTTCS 2016
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
Leander Tentrup
,
Alexander Weinert
and
Martin Zimmermann
·
GandALF 2016
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
Alexander Weinert
and
Martin Zimmermann
·
arXiv:1604.05543
Visibly Linear Dynamic Logic
Alexander Weinert
and
Martin Zimmermann
·
arXiv:1512.05177
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
Leander Tentrup
,
Alexander Weinert
and
Martin Zimmermann
·
arXiv:1511.09450
Automata Tutor and what we learned from building an online teaching tool
Loris D'Antoni
,
Matthew Weaver
,
Alexander Weinert
and
Rajeev Alur
·
BEATCS 117
Problem Generation for DFA Construction
Alexander Weinert
·
Technical Report UCB/EECS-2015-170
Theses
While being a member of this group or in collaboration with us.
Optimality and Resilience in Parity Games
Alexander Weinert
·
UdS
Analyzing Arithmetic Prolog Programs by Symbolic Execution
Alexander Weinert
·
UdS (Master Thesis)
Contact
Data Privacy Policy
Imprint
Home
People
Publications
More
Research
Tools
Projects
Courses