Martin Zimmermann
University of Liverpool
H-index: 15
Europe-United Kingdom
Top articles of Martin Zimmermann
Monitoring Real-Time Systems under Parametric Delay
arXiv preprint arXiv:2404.18282
2024/4/28
Martin Fränzle
H-Index: 19
Martin Zimmermann
H-Index: 11
Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
arXiv preprint arXiv:2404.18280
2024/4/28
Sarah Winter
H-Index: 3
Martin Zimmermann
H-Index: 11
Robust computation tree logic
Innovations in Systems and Software Engineering
2024/3/20
The complexity of evaluating nfer
Science of Computer Programming
2024/1/1
Sean Kauffman
H-Index: 4
Martin Zimmermann
H-Index: 11
The Complexity of Second-order HyperLTL
arXiv preprint arXiv:2311.15675
2023/11/27
Martin Zimmermann
H-Index: 11
Robust alternating-time temporal logic
2023/9/20
Martin Zimmermann
H-Index: 11
History-Deterministic Parikh Automata
arXiv preprint arXiv:2209.07745
2022/9/16
Robust Probabilistic Temporal Logics
arXiv preprint arXiv:2306.05806
2023/6/9
Martin Zimmermann
H-Index: 11
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games
arXiv preprint arXiv:2305.19985
2023/5/31
Parikh Automata over Infinite Words
2022/12
Robustness-by-construction synthesis: adapting to the environment at runtime
2022/10/17
Satya Prakash Nayak
H-Index: 0
Martin Zimmermann
H-Index: 11
Approximating the minimal lookahead needed to win infinite games
Information Processing Letters
2022/8/1
Martin Zimmermann
H-Index: 11
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
Information and Computation
2022
Martin Zimmermann
H-Index: 11
HyperLTL Satisfiability is -complete, HyperCTL* Satisfiability is -complete
arXiv preprint arXiv:2105.04176
2021/5/10
Patrick Totzke
H-Index: 9
Martin Zimmermann
H-Index: 11
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
Logical Methods in Computer Science
2024/1/11
Adaptive strategies for rLTL games
2021/5/19
Satya Prakash Nayak
H-Index: 0
Martin Zimmermann
H-Index: 11
Synthesizing optimally resilient controllers
Acta Informatica
2020/4
Martin Zimmermann
H-Index: 11
Promptness and Bounded Fairness in Concurrent and Parameterized Systems
2020/1/16
Martin Zimmermann
H-Index: 11
Co-Authors
