The following pages link to Martín G. Zimmermann (Q218365):
Displayed 50 items.
- (Q391105) (redirect page) (← links)
- Optimal bounds in parametric LTL games (Q391106) (← links)
- Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← links)
- Parametric linear dynamic logic (Q515660) (← links)
- Promptness and bounded fairness in concurrent and parameterized systems (Q784148) (← links)
- Sil'nikov-saddle-node interaction near a codimension-2 bifurcation: laser with injected signal (Q992247) (← links)
- (Q1373367) (redirect page) (← links)
- Šil'nikov-saddle-node interaction near a codimension-2 bifurcation: Laser with injected signal (Q1373369) (← links)
- Pulse bifurcation and transition to spatiotemporal chaos in an excitable reaction-diffusion model (Q1373916) (← links)
- The complexity of counting models of linear-time temporal logic (Q1745344) (← links)
- Distributed synthesis for parameterized temporal logics (Q1784965) (← links)
- Visibly linear dynamic logic (Q1786616) (← links)
- Monitoring timed properties (revisited) (Q2112101) (← links)
- Finite-state strategies in delay games (Q2182729) (← links)
- Analysis and assembling of network structure in mutualistic systems (Q2210080) (← links)
- Why nestedness in mutualistic networks? (Q2216306) (← links)
- Synthesizing optimally resilient controllers (Q2303880) (← links)
- Parameterized linear temporal logics meet costs: still not costlier than LTL (Q2413483) (← links)
- Approximating the minimal lookahead needed to win infinite games (Q2671807) (← links)
- Robust, expressive, and quantitative linear temporal logics: pick any two for free (Q2672232) (← links)
- Global bifurcations in a laser with injected signal: Beyond Adler’s approximation (Q2735969) (← links)
- (Q2752927) (← links)
- PLAYING MULLER GAMES IN A HURRY (Q2909222) (← links)
- Degrees of Lookahead in Context-free Infinite Games (Q2915687) (← links)
- Delay Games with WMSO+U Winning Conditions (Q2953690) (← links)
- (Q2957486) (← links)
- The Complexity of Counting Models of Linear-time Temporal Logic (Q2978517) (← links)
- Bounding Average-Energy Games (Q2988367) (← links)
- Delay Games with WMSO$$+$$U Winning Conditions (Q3194731) (← links)
- (Q3384169) (← links)
- Optimal strategy synthesis for request-response games (Q3465629) (← links)
- Time-Optimal Winning Strategies for Poset Games (Q3637359) (← links)
- (Q4537381) (← links)
- Visibly Linear Dynamic Logic (Q4636575) (← links)
- (Q4636593) (← links)
- The First-Order Logic of Hyperproperties (Q4636628) (← links)
- Homoclinic and Heteroclinic Bifurcations Close to a Twisted Heteroclinic Cycle (Q4936194) (← links)
- (Q4964725) (← links)
- (Q4986513) (← links)
- (Q4986514) (← links)
- (Q4995359) (← links)
- Team semantics for the specification and verification of hyperproperties (Q5005106) (← links)
- Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems (Q5005159) (← links)
- (Q5013884) (← links)
- (Q5015281) (← links)
- (Q5015286) (← links)
- (Q5020519) (← links)
- (Q5021006) (← links)
- (Q5028456) (← links)
- Synthesizing Optimally Resilient Controllers (Q5079759) (← links)