264 search results - page 30 / 53 » Verifying Dribble Agents |
TACAS
2007
Springer
14 years 5 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
CEC
2005
IEEE
14 years 4 months ago
2005
IEEE
The current work addresses the development of cognitive abilities in artificial organisms. In the proposed approach, neural network-based agent structures are employed to represen...
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
This paper describes how multiagent systems can be used to achieve robust software, one of the major goals of software engineering. The paper first positions itself within the sof...
IAT
2009
IEEE
14 years 5 months ago
2009
IEEE
—This paper proposes a method of learning a similarity matrix from pairwise constraints for interactive clustering. The similarity matrix can be learned by solving an optimizatio...
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
— We develop decentralized controllers for a team of disk-shaped robots to converge to and circulate along the boundary of a desired two-dimensional geometric pattern specified ...