Martin Zimmermann
From MaRDI portal
Person:6108435
Available identifiers
zbMath Open zimmermann.martinMaRDI QIDQ6108435
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Robust probabilistic temporal logics | 2025-01-14 | Paper |
| Parikh automata over Infinite words | 2024-09-12 | Paper |
| Robust alternating-time temporal logic | 2024-05-29 | Paper |
| Adaptive strategies for rLTL games | 2024-02-21 | Paper |
| HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. | 2023-08-08 | Paper |
| From LTL to rLTL monitoring: improved monitorability through robust semantics | 2023-06-29 | Paper |
| Optimal strategy synthesis for request-response games | 2016-01-22 | Paper |
| Optimal bounds in parametric LTL games | 2014-01-10 | Paper |
| Degrees of lookahead in context-free infinite games | 2012-09-18 | Paper |
| Playing Muller games in a hurry | 2012-08-30 | Paper |
Research outcomes over time
This page was built for person: Martin Zimmermann
