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.

[img]
Preview
Text
c-19.pdf

Download (182kB)
Item Type: Conference or Workshop Item (Paper)
Dates:
DateEvent
2013Published
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 > School of Computing and Digital Technology
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Networks and Cyber Security
Depositing User: Oana-Andreea Dumitrascu
Date Deposited: 05 Jun 2017 11:33
Last Modified: 03 Mar 2022 15:47
URI: https://www.open-access.bcu.ac.uk/id/eprint/4505

Actions (login required)

View Item View Item

Research

In this section...