2015

• Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Information and Computation.

2014

• Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Formal Methods and Software Engineering.

2013

• 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.