Sciweavers

1549 search results - page 26 / 310
» Distributed Algorithms for Dynamic Survivability of Multiage...
Sort
View
ATAL
2009
Springer
13 years 11 months ago
Improved approximation of interactive dynamic influence diagrams using discriminative model updates
Interactive dynamic influence diagrams (I-DIDs) are graphical models for sequential decision making in uncertain settings shared by other agents. Algorithms for solving I-DIDs fac...
Prashant Doshi, Yifeng Zeng
SELMAS
2005
Springer
14 years 1 months ago
A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems
Software reuse technologies have been a driving force in significantly reducing both the time and cost of software specification, development, maintenance and evolution. However, t...
Josh Dehlinger, Robyn R. Lutz
IAT
2010
IEEE
13 years 5 months ago
A Framework for Developing Agent-Based Distributed Applications
Abstract--The development of large-scale distributed multiagent systems in open dynamic environments is a challenge. System behavior is often not predictable and can only be evalua...
Michel Oey, Sander van Splunter, Elth Ogston, Mart...
MABS
1998
Springer
13 years 11 months ago
Multi-Agent Architecture Integrating Heterogeneous Models of Dynamical Processes: The Representation of Time
Multi-agent simulations aim at representing the dynamics of complex systems as resulting from multiple interactions between autonomous entities including their own perception of lo...
Edem Fianyo, Jean-Pierre Treuil, Edith Perrier, Yv...
ATAL
2010
Springer
13 years 8 months ago
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
Jan Broersen