Sciweavers

382 search results - page 33 / 77
» Simulating a Finite State Mobile Agent System
Sort
View
MATA
2000
Springer
137views Communications» more  MATA 2000»
15 years 3 months ago
Topology Discovery in Ad Hoc Wireless Networks Using Mobile Agents
Extensive research on mobile agents has been rife with the growing interests in network computing. In this paper, we have discussed a mobile multi-agent-based framework to address ...
Romit Roy Choudhury, Somprakash Bandyopadhyay, Kri...
CAEPIA
2007
Springer
15 years 6 months ago
Mixed Narrative and Dialog Content Planning Based on BDI Agents
There exist various narrative systems, focused on different parts of the complex process of story generation. Some of them are oriented to content planning, and some other to sent...
Carlos León, Samer Hassan, Pablo Gerv&aacut...
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
14 years 9 months ago
A probabilistic approach for control of a stochastic system from LTL specifications
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
Morteza Lahijanian, Sean B. Andersson, Calin Belta
ATAL
2006
Springer
15 years 3 months ago
Verifying space and time requirements for resource-bounded agents
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
Natasha Alechina, Mark Jago, Piergiorgio Bertoli, ...
85
Voted
ATAL
2010
Springer
15 years 26 days ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga