@Inproceedings{EPTCS161.20, author = {Przyby{\l}ko, Marcin}, year = {2014}, title = {Tree games with regular objectives}, editor = {Peron, Adriano and Piazza, Carla}, booktitle = {{\rm Proceedings Fifth International Symposium on} Games, Automata, Logics and Formal Verification, {\rm Verona, Italy, 10th - 12th September 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {161}, publisher = {Open Publishing Association}, pages = {231-244}, doi = {10.4204/EPTCS.161.20}, }