Talks

Reasoning about Strategies under Partial Observability and Fairness Constraints

Title: Reasoning about Strategies under Partial Observability and Fairness Constraints
Speaker(s): Simon Busard
Context: 1st International Workshop on Strategic Reasoning, March 16-17, 2013, Rome, Italy
File(s): sr2013.pdf

Related Publication(s):

Reasoning about Strategies under Partial Observability and Fairness Constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Proceedings 1st International Workshop on Strategic Reasoning, Rome, Italy, March 16-17, 2013.

Tags

Tags: Symbolic Model Checking, Strategies

Find It