No. Title Author Year
1 A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct Guha, Shibashis et al. 2021
2 HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete Fortin, Marie et al. 2021
3 Optimally Resilient Strategies in Pushdown Safety Games Neider, Daniel et al. 2020
4 The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas Mascle, Corto et al. 2020
5 Parity Games with Weights Schewe, Sven et al. 2018
6 Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems Hague, Matthew et al. 2018
7 Synthesizing Optimally Resilient Controllers Neider, Daniel et al. 2018
8 Team Semantics for the Specification and Verification of Hyperproperties Krebs, Andreas et al. 2018
9 The First-Order Logic of Hyperproperties Finkbeiner, Bernd et al. 2017
10 Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs Weinert, Alexander et al. 2016
11 Prompt Delay Klein, Felix et al. 2016
12 Visibly Linear Dynamic Logic Weinert, Alexander et al. 2016
13 What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead Klein, Felix et al. 2015
14 The Complexity of Counting Models of Linear-time Temporal Logic Torfah, Hazem et al. 2014
15 Cost-Parity and Cost-Streett Games Fijalkow, Nathanael et al. 2012
16 Degrees of Lookahead in Context-free Infinite Games Fridman, Wladimir et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 16

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI