Follow
Wladimir Fridman
Wladimir Fridman
Verified email at automata.rwth-aachen.de
Title
Cited by
Cited by
Year
Degrees of lookahead in context-free infinite games
W Fridman, C Löding, M Zimmermann
Leibniz International Proceedings in Informatics, LIPIcs 12, 264-276, 2011
232011
Distributed synthesis for regular and contextfree specifications
W Fridman, B Puchala
Acta informatica 51, 221-260, 2014
102014
Formats of winning strategies for six types of pushdown games
W Fridman
arXiv preprint arXiv:1006.1415, 2010
102010
Playing pushdown parity games in a hurry
W Fridman, M Zimmermann
arXiv preprint arXiv:1210.2458, 2012
92012
A study of pushdown games
W Fridman
Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–5