579 search results - page 93 / 116 » On a Temporal Logic for Object-Based Systems |
ARGMAS
2008
Springer
15 years 1 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
108
click to vote
DALT
2008
Springer
15 years 1 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
CSAC
2004
15 years 1 months ago
2004
CoMex (Coordination Mechanism) is a system to coordinate the execution of tasks accessing coordinable entities. It uses coordination rules to describe the temporal and logical orde...
AIPS
2009
15 years 26 days ago
2009
In order to scale with modern processors, planning algorithms must become multi-threaded. In this paper, we present parallel shared-memory algorithms for two problems that underli...