2024 search results - page 30 / 405 » A Formal Model of Multi-agent Computations |
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are evolving as a popular approach for modeling multiagent systems, and many different algorithms ha...
AAAI
2008
13 years 9 months ago
2008
This paper examines, by argument, the dynamics of sequences of behavioural choices made, when non-cooperative restricted-memory agents learn in partially observable stochastic gam...
ASM
2008
ASM
13 years 9 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
ARTS
1999
Springer
13 years 11 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
CMSB
2003
Springer
14 years 18 days ago
2003
Springer
