@inproceedings(BaukusMeyden, author = {K. Baukus and R. van der Meyden}, year = {2004}, title = {A knowledge based analysis of cache coherence.}, booktitle = {Proc. 6th Int. Conf. on Formal Engineering Methods}, pages = {99--114}, doi = {10.1007/978-3-540-30482-1\_15}, ) @inproceedings(BensalemPS10, author = {S. Bensalem and D. Peled and J. Sifakis}, year = {2010}, title = {Knowledge Based Scheduling of Distributed Systems}, booktitle = {Time for Verification, Essays in Memory of Amir Pnueli}, publisher = {Springer LNCS 6200}, pages = {26--41}, doi = {10.1007/978-3-642-13754-9\_2}, ) @inproceedings(BozianuDF14, author = {R. Bozianu and C. Dima and E. Filiot}, year = {2014}, title = {Safraless Synthesis for Epistemic Temporal Specifications}, booktitle = {Proc. Int. Conf. on Computer Aided Verification}, pages = {441--456}, doi = {10.1007/978-3-319-08867-9\_29}, ) @article(BrafmanLMS1997, author = {R. I. Brafman and J-C. Latombe and Y. Moses and Y. Shoham}, year = {1997}, title = {Applications of a logic of knowledge to motion planning under uncertainty}, journal = {JACM}, volume = {44}, number = {5}, doi = {10.1145/265910.265912}, ) @article(Burgess, author = {J. Burgess}, year = {1979}, title = {Logic and time}, journal = {Journal of Symbolic Logic}, volume = {44}, pages = {556--582}, doi = {10.2307/2273296}, ) @article(DM90, author = {C. Dwork and Y. Moses}, year = {1990}, title = {Knowledge and common knowledge in a {B}yzantine environment: crash failures}, journal = {Information and Computation}, volume = {88}, number = {2}, pages = {156--186}, doi = {10.1016/0890-5401(90)90014-9}, ) @inproceedings(EMM98, author = {K. Engelhardt and R. van der Meyden and Y. Moses}, year = {1998}, title = {Knowledge and the Logic of Local Propositions}, booktitle = {Proc. Conf. Theoretical Aspects of Knowledge and Rationality}, pages = {29--41}, ) @book(FHMVbook, author = {R. Fagin and J. Halpern and Y. Moses and M. Vardi}, year = {1995}, title = {Reasoning About Knowledge}, publisher = {MIT Press}, ) @article(FHMV1997, author = {R. Fagin and J. Y. Halpern and Y. Moses and M. Y. Vardi}, year = {1997}, title = {Knowledge-Based Programs}, journal = {Distributed Computing}, volume = {10}, number = {4}, pages = {199--225}, doi = {10.1007/s004460050038}, ) @article(GrafPQ12, author = {Susanne Graf and Doron Peled and Sophie Quinton}, year = {2012}, title = {Achieving distributed control through model checking}, journal = {Formal Methods in System Design}, volume = {40}, number = {2}, pages = {263--281}, doi = {10.1007/s10703-011-0138-9}, ) @inproceedings(Had87, author = {V. Hadzilacos}, year = {1987}, title = {A knowledge-theoretic analysis of atomic commitment protocols}, booktitle = {PODS '87: Proc. 6th ACM Symp. on Principles of Database Systems}, pages = {129--134}, doi = {10.1145/28659.28672}, ) @article(HZ92, author = {J. Y. Halpern and L. D. Zuck}, year = {1992}, title = {A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols}, journal = {Journal of the ACM}, volume = {39}, number = {3}, pages = {449--478}, doi = {10.1145/146637.146638}, ) @inproceedings(HMtark13, author = {X. Huang and R. van der Meyden}, year = {2013}, title = {Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics}, booktitle = {Proc. TARK}, pages = {121--130}, ) @inproceedings(HM14tacas, author = {X. Huang and R. van der Meyden}, year = {2014}, title = {Symbolic Synthesis for Epistemic Specifications with Observational Semantics}, booktitle = {Proc. Tools and Algorithms for the Construction and Analysis of Systems, {TACAS}}, pages = {455--469}, doi = {10.1007/978-3-642-54862-8\_39}, ) @inproceedings(KatzPS11, author = {Gal Katz and Doron Peled and Sven Schewe}, year = {2011}, title = {Synthesis of Distributed Control through Knowledge Accumulation}, booktitle = {Proc. Int. Conf on Computer Aided Verification}, pages = {510--525}, doi = {10.1007/978-3-642-22110-1\_41}, ) @article(KupfermanVW01, author = {O. Kupferman and M. Y. Vardi and P. Wolper}, year = {2001}, title = {Module Checking}, journal = {Information and Computation}, volume = {164}, number = {2}, pages = {322--344}, doi = {10.1006/inco.2000.2893}, ) @inproceedings(Meyden96pricai, author = {R. van der Meyden}, year = {1996}, title = {Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall}, booktitle = {Intelligent Agent Systems, Theoretical and Practical Issues}, series = {LNCS, No. 1209}, publisher = {Springer}, pages = {135--151}, doi = {10.1007/3-540-62686-7\_33}, ) @inproceedings(Meyden96fst, author = {R. van der Meyden}, year = {1996}, title = {Finite State Implementations of Knowledge-Based Programs}, booktitle = {Proc. Conf. on Foundations of Software Technology and Theoretical Computer Science}, pages = {262--273}, doi = {10.1007/3-540-62034-6\_55}, ) @inproceedings(Meyden96, author = {R. van der Meyden}, year = {1996}, title = {Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments}, booktitle = {Proc. Conf. on Theoretical Aspects of Rationality and Knowledge}, pages = {31--49}, ) @inproceedings(meydenvardi, author = {R. van der Meyden and M. Y. Vardi}, year = {1998}, title = {Synthesis from Knowledge-Based Specifications.}, booktitle = {Proc. CONCUR'98}, series = {Springer LNCS 1466}, pages = {34--49}, doi = {10.1007/BFb0055614}, note = {Extended version at \url{http://arxiv.org/abs/1307.6333}}, ) @inproceedings(MeydenWilke05, author = {R. van der Meyden and T. Wilke}, year = {2005}, title = {Synthesis of Distributed Systems from Knowledge-Based Specifications}, booktitle = {Proc. Int. Conf. on Concurrency Theory, CONCUR}, pages = {562--576}, doi = {10.1007/11539452\_42}, ) @article(MeydenWong, author = {R. van der Meyden and K. Wong}, year = {2003}, title = {Complete Axiomatizations for Reasoning about Knowledge and Branching Time}, journal = {Studia Logica}, volume = {75}, number = {1}, pages = {93--123}, doi = {10.1023/A:1026181001368}, )