Generalized Planning with Loops under Strong Fairness Constraints.

Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardia

Browse the full KR paper archive.