No. Title Author Year
1 Degrees of Ambiguity of B├╝chi Tree Automata Rabinovich, Alexander et al. 2019
2 A Proof of Kamp's theorem Rabinovich, Alexander 2012
3 The Church Synthesis Problem with Metric Jenkins, Mark et al. 2011
4 Synthesis of Finite-state and Definable Winning Strategies Rabinovich, Alexander 2009
Current Page :
Number of result pages: 1
Number of documents: 4

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI