62 search results - page 8 / 13 » Testing reactive systems with GAST |
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
CMSB
2004
Springer
14 years 28 days ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
XPU
2010
Springer
13 years 5 months ago
2010
Springer
Software product lines - families of similar but not identical software products - need to address the issue of feature variability. That is, a single feature might require various...
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
AAAI
1998
13 years 9 months ago
1998
The Interchamber Monitoring and Control (IMC) system is semi-autonomous, intelligent software that controls life support systems designed for recycling air in remote space habitat...