No. Title Author Year
1 Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory Finkbeiner, Bernd et al. 2022
2 A Temporal Logic for Strategic Hyperproperties Beutner, Raven et al. 2021
3 Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity Virtema, Jonni et al. 2021
4 Translating Asynchronous Games for Distributed Synthesis Beutner, Raven et al. 2019
5 Symmetric Synthesis Ehlers, RĂ¼diger et al. 2018
6 Synthesis in Distributed Environments Finkbeiner, Bernd et al. 2018
7 The First-Order Logic of Hyperproperties Finkbeiner, Bernd et al. 2017
8 Deciding Hyperproperties Finkbeiner, Bernd et al. 2016
9 07011 Abstracts Collection -- Runtime Verification Finkbeiner, Bernd et al. 2008
10 07011 Executive Summary -- Runtime Verification Finkbeiner, Bernd et al. 2008
11 Abstraction Refinement for Games with Incomplete Information Dimitrova, Rayna et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 11


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