No. Title Author Year
1 The First-Order Logic of Hyperproperties Finkbeiner, Bernd et al. 2017
2 Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs Weinert, Alexander et al. 2016
3 Prompt Delay Klein, Felix et al. 2016
4 Visibly Linear Dynamic Logic Weinert, Alexander et al. 2016
5 What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead Klein, Felix et al. 2015
6 The Complexity of Counting Models of Linear-time Temporal Logic Torfah, Hazem et al. 2014
7 Cost-Parity and Cost-Streett Games Fijalkow, Nathanael et al. 2012
8 Degrees of Lookahead in Context-free Infinite Games Fridman, Wladimir et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 8

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