Martin Zimmermann

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 Information Processing Letters	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 Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
A bit of nondeterminism makes pushdown automata expressive and succinct Logical Methods in Computer Science	2024-01-16	Paper
HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete.	2023-08-08	Paper
A bit of nondeterminism makes pushdown automata expressive and succinct	2023-08-08	Paper
From LTL to rLTL monitoring: improved monitorability through robust semantics Formal Methods in System Design	2023-06-29	Paper
Optimal strategy synthesis for request-response games RAIRO. Theoretical Informatics and Applications	2016-01-22	Paper
Optimal bounds in parametric LTL games Theoretical Computer Science	2014-01-10	Paper
Degrees of lookahead in context-free infinite games	2012-09-18	Paper
Playing Muller games in a hurry International Journal of Foundations of Computer Science	2012-08-30	Paper

Research outcomes over time

This page was built for person: Martin Zimmermann