Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics

Huang, Xiaowei and Meyden, Ron (2013) Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. In: In the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013.

Preview

Text
c-19.pdf
Download (182kB)

Item Type:	Conference or Workshop Item (Paper)
Dates:	Date Event 2013 Published
Subjects:	CAH11 - computing > CAH11-01 - computing > CAH11-01-01 - computer science
Divisions:	Faculty of Computing, Engineering and the Built Environment Faculty of Computing, Engineering and the Built Environment > College of Computing
Depositing User:	Oana-Andreea Dumitrascu
Date Deposited:	05 Jun 2017 11:33
Last Modified:	22 Mar 2023 12:02
URI:	https://www.open-access.bcu.ac.uk/id/eprint/4505