66 citations · 568 across the 83 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 7 cited
A Temporal Logic for Hyperproperties
Bernd Finkbeiner, Markus N. Rabe, César Sánchez
Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths. Standard temporal logic…
cs.LO2013
Lossy Channel Games under Incomplete Information
Rayna Dimitrova, Bernd Finkbeiner
In this paper we investigate lossy channel games under incomplete information, where two players operate on a finite set of unbounded FIFO channels and one player, representing a s…