×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [state iff]
Lecture 2: Reasoning with Distributed Programs Anish Arora CSE 6333
224 views
Krishnendu Chatterjee and Laurent Doyen. Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game
218 views
Defining Programs, Specifications, fault-tolerance, etc
219 views
Defining Programs, Specifications, fault-tolerance, etc
14 views
Energy Parity Games
38 views