974 search results - page 56 / 195 » Formal Modeling of Communication Traces |
ICMAS
2000
15 years 24 days ago
2000
In this paper, we formulate agent's decision process under the framework of Markov decision processes, and in particular, the multi-agent extension to Markov decision process...
82
Voted
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
103
click to vote
DAC
2001
ACM
16 years 13 days ago
2001
ACM
Communication-based design represents a formal approach to systemon-a-chip design that considers communication between components as important as the computations they perform. Ou...
MATES
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Cooperative problem solving without communication is an oftenstudied field within multi-agent research. Realistic problems investigated in this particular field are compl...
ATAL
2000
Springer
15 years 3 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...