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

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