Saarland University

Identifiers

• name variant Saarland University 0.60 · backfill

Papers (3)

1. Verifying Hyperliveness cs.LO · 2020 · author #5
2. An introduction into optimal control for quantum technologies quant-ph · 2020 · author #6
3. How Much Lookahead is Needed to Win Infinite Games? cs.GT · 2014 · author #3

Mentions

• 2005.07425 #5 · arxiv_oai · confidence 0.70 Saarland University
• 2003.10132 #6 · arxiv_oai · confidence 0.70 Saarland University
• 1412.3701 #3 · arxiv_oai · confidence 0.70 Saarland University
• 1412.3701 #3 · backfill · confidence 0.70 Saarland University

Frequent Coauthors

• (2) IMDEA Software Institute) 1 shared papers
• (2) Laboratoire Interdisciplinaire Carnot de Bourgogne (ICB) UMR 6303 CNRS-Universit\'e Bourgogne-Franche Comt\'e) 1 shared papers
• Bernd Finkbeiner (1) 1 shared papers
• C\'esar S\'anchez (2) 1 shared papers
• Dominique Sugny (2) ((1) Theoretical Physics 1 shared papers
• Felix Klein (1) 1 shared papers
• Frank K. Wilhelm (1) 1 shared papers
• Germany) 1 shared papers
• Leander Tentrup (1) ((1) Reactive Systems Group 1 shared papers
• Martin Zimmermann (1) ((1) Reactive Systems Group 1 shared papers
• Nicolas Wittler (1) 1 shared papers
• Norine Coenen (1) 1 shared papers
• Saarbr\"ucken 1 shared papers
• Shai Machnes (1) 1 shared papers
• Susanna Kirchhoff (1) 1 shared papers