Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge

First Author: Muscholl A

Attributed to: Synthesis and Verification in Markov Game Structures funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-40313-2_61

Publication URI: http://dx.doi.org/10.1007/978-3-642-40313-2_61

Type: Book Chapter

Book Title: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings (2013)

Page Reference: 691-703

ISBN: 978-3-642-40312-5

ISSN: 2524-7867