No. |
Title |
Author |
Year |
---|

1 |
Parikh Automata over Infinite Words |
Guha, Shibashis et al. |
2022 |

2 |
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct |
Guha, Shibashis et al. |
2021 |

3 |
HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete |
Fortin, Marie et al. |
2021 |

4 |
Optimally Resilient Strategies in Pushdown Safety Games |
Neider, Daniel et al. |
2020 |

5 |
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas |
Mascle, Corto et al. |
2020 |

6 |
Parity Games with Weights |
Schewe, Sven et al. |
2018 |

7 |
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems |
Hague, Matthew et al. |
2018 |

8 |
Synthesizing Optimally Resilient Controllers |
Neider, Daniel et al. |
2018 |

9 |
Team Semantics for the Specification and Verification of Hyperproperties |
Krebs, Andreas et al. |
2018 |

10 |
The First-Order Logic of Hyperproperties |
Finkbeiner, Bernd et al. |
2017 |

11 |
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs |
Weinert, Alexander et al. |
2016 |

12 |
Prompt Delay |
Klein, Felix et al. |
2016 |

13 |
Visibly Linear Dynamic Logic |
Weinert, Alexander et al. |
2016 |

14 |
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead |
Klein, Felix et al. |
2015 |

15 |
The Complexity of Counting Models of Linear-time Temporal Logic |
Torfah, Hazem et al. |
2014 |

16 |
Cost-Parity and Cost-Streett Games |
Fijalkow, Nathanael et al. |
2012 |

17 |
Degrees of Lookahead in Context-free Infinite Games |
Fridman, Wladimir et al. |
2011 |