264 search results - page 24 / 53 » Verifying Dribble Agents |
89
Voted
CEC
2008
IEEE
15 years 7 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 ...
101
click to vote
GPEM
2006
15 years 1 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...
98
Voted
ATAL
2006
Springer
15 years 4 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
15 years 3 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
15 years 6 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...