Martin Zimmermann

Aalborg University

Denmark

Research Interests

Explore related searches

Professors in Computer Science

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (17)

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2020

Year:

2020

Collaborators (2)

Martin Fränzle

Prof. for Foundationsd and Applications of Systems of Cyber-Physical Systems

Carl von Ossietzky Universität Oldenburg

GERMANY

View details

Sean Kauffman

Assistant Professor

Queen's University

CANADA

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Martin Zimmermann

Research Interests

Explore related searches

Contact this professor

Articles (17)

Robust probabilistic temporal logics

Tracy, traces, and transducers: computable counterexamples and explanations for HyperLTL model-checking

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays

History-Deterministic Parikh Automata

HYPERLTL SATISFIABILITY IS HIGHLY UNDECIDABLE, HYPERCTL* IS EVEN HARDER

On the Existence of Reactive Strategies Resilient to Delay

The complexity of evaluating nfer

Robust computation tree logic

A BIT OF NONDETERMINISM MAKES PUSHDOWN AUTOMATA EXPRESSIVE AND SUCCINCT

Strategies Resilient to Delay

From LTL to rLTL monitoring: improved monitorability through robust semantics

Approximating the minimal lookahead needed to win infinite games

Good-for-games ω-Pushdown Automata

Good-for-Games ω-Pushdown Automata

Robust, expressive, and quantitative linear temporal logics: Pick any two for free

Finite-state strategies in delay games

Finite-state strategies in delay games.

Collaborators (2)

Martin Fränzle

Sean Kauffman

Make your next move.