813 search results - page 99 / 163 » Correctness Properties for Multiagent Systems |
170
click to vote
FORTE
1994
15 years 5 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
116
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Distributed motion planning of multiple agents raises fundamental and novel problems in control theory and robotics. Recently, one such great challenge has been the development...
136
Voted
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
Problems such as the design of distributed controllers are characterized by modularity and symmetry. However, the symmetries useful for solving them are often difficult to determ...
123
Voted
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
To anticipate and prevent acts of terrorism, Indications and Warnings analysts try to connect clues gleaned from massive quantities of complex data. Multi-agent approaches to supp...
138
Voted
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
Self-reconfigurable or metamorphic robots can change their individual and collective shape and size to meet operational demands. Since these robots are constructed from a set of a...