Dr. Alexander Weinert

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

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)