2024 search results - page 30 / 405 » A Formal Model of Multi-agent Computations |
137
click to vote
ATAL
2006
Springer
15 years 9 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...
161
Voted
AAAI
2008
15 years 7 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...
156
Voted
ASM
2008
ASM
15 years 7 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 ...
165
click to vote
ARTS
1999
Springer
15 years 9 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...
