Sciweavers

FAABS
2004
Springer
13 years 11 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
FAABS
2004
Springer
13 years 11 months ago
From Abstract to Concrete Norms in Agent Institutions
Davide Grossi, Frank Dignum
FAABS
2004
Springer
13 years 11 months ago
A Formal Analysis of Potential Energy in a Multi-agent System
Abstract. This paper summarizes a novel framework, called “physicomimetics,” for the distributed control of large collections of mobile physical agents in sensor networks. The ...
William M. Spears, Diana F. Spears, Rodney Heil
FAABS
2004
Springer
13 years 11 months ago
Agent-Based Chemical Plume Tracing Using Fluid Dynamics
Abstract. This paper presents a rigorous evaluation of a novel, distributed chemical plume tracing algorithm. The algorithm is a combination of the best aspects of the two most pop...
Dimitri Zarzhitsky, Diana F. Spears, David R. Thay...
FAABS
2004
Springer
13 years 11 months ago
Meeting the Deadline: Why, When and How
Frank Dignum, Jan Broersen, Virginia Dignum, John-...
Intelligent Agents
Top of PageReset Settings