264 search results - page 29 / 53 » Expressing Iterative Properties Logically in a Symbolic Sett... |
109
click to vote
AMAI
2004
Springer
15 years 4 months ago
2004
Springer
This paper extends the framework of partially observable Markov decision processes (POMDPs) to multi-agent settings by incorporating the notion of agent models into the state spac...
FMSD
2002
14 years 11 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
JANCL
2007
14 years 11 months ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...
182
click to vote
AMAST
2010
Springer
14 years 6 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
100
click to vote
IDA
2006
Springer
14 years 11 months ago
2006
Springer
Clustering or co-clustering techniques have been proved useful in many application domains. A weakness of these techniques remains the poor support for grouping characterization. ...