Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints.

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Browse the full ICFEM paper archive.