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: CFV Seminar, November 29, 2013, Brussels, Belgium
File(s): CFVSeminar-131129.pdf

Louvain Verification Lab