No. Title Author Year
1 Parity Games with Weights Schewe, Sven et al. 2018
2 Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems Hague, Matthew et al. 2018
3 Synthesizing Optimally Resilient Controllers Neider, Daniel et al. 2018
4 Team Semantics for the Specification and Verification of Hyperproperties Krebs, Andreas et al. 2018
5 The First-Order Logic of Hyperproperties Finkbeiner, Bernd et al. 2017
6 Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs Weinert, Alexander et al. 2016
7 Prompt Delay Klein, Felix et al. 2016
8 Visibly Linear Dynamic Logic Weinert, Alexander et al. 2016
9 What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead Klein, Felix et al. 2015
10 The Complexity of Counting Models of Linear-time Temporal Logic Torfah, Hazem et al. 2014
Current Page :
Number of result pages: 2
Number of documents: 12

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