A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agents (2001)

Cached

Download Links

by Kai Engelhardt , Ron van der Meyden , Yoram Moses
Venue:In Proc. Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning
Citations:9 - 1 self