The following pages link to Martin Zimmermann (Q6108435):
Displaying 4 items.
- From LTL to rLTL monitoring: improved monitorability through robust semantics (Q6108436) (← links)
- Adaptive strategies for rLTL games (Q6120683) (← links)
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct (Q6137877) (← links)
- HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. (Q6168463) (← links)