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

DROPS-Home | Imprint | Privacy Published by LZI