264 search results - page 24 / 53 » Verifying Dribble Agents |
CEC
2008
IEEE
14 years 5 months ago
2008
IEEE
—We present an approach for automated evolutionary design of the functionary of driving agent, able to operate a software model of fast running car. The objective of our work is ...
GPEM
2006
13 years 11 months ago
2006
Abstract. Bedau et al.'s statistical classification system for long-term evolutionary dynamics provides a test for open-ended evolution. Making this test more rigorous, and pa...
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
AAAI
2007
14 years 1 months ago
2007
The goal of our current research is machine learning with the help and guidance of a knowledge base (KB). Rather than learning numerical models, our approach generates explicit sy...
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...