Martin Zimmermann

From MaRDI portal
Person:6108435

Available identifiers

zbMath Open zimmermann.martinMaRDI QIDQ6108435

List of research outcomes





PublicationDate of PublicationType
Robust probabilistic temporal logics2025-01-14Paper
Parikh automata over Infinite words2024-09-12Paper
Robust alternating-time temporal logic2024-05-29Paper
Adaptive strategies for rLTL games2024-02-21Paper
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct2024-01-16Paper
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct2023-08-08Paper
HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete.2023-08-08Paper
From LTL to rLTL monitoring: improved monitorability through robust semantics2023-06-29Paper
Optimal bounds in parametric LTL games2014-01-10Paper
Degrees of lookahead in context-free infinite games2012-09-18Paper
Playing Muller games in a hurry2012-08-30Paper

Research outcomes over time

This page was built for person: Martin Zimmermann

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6108435&oldid=37725999"
Powered by MediaWiki