Linear Temporal Logic

Boolean Network Games and Iterated Boolean Games
A Boolean Network Game is a game played on a network structure. Players choose actions depending on the actions of those in their …
Jeremy Seligman, Declan Thompson
Cite Project DOI