133 search results - page 13 / 27 » Testing Planning Domains (without Model Checkers) |
137
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present a genetic algorithm applied to the problem of mission planning for Joint Suppression of Enemy Air Defenses (JSEAD) in support of air strike operations. Th...
145
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
126
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
118
Voted
CGI
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents an object-oriented approach for describing and modelling buildings by means of computer graphics. The approach is based on an object- and component-oriented gr...
158
Voted
RSS
2007
15 years 5 months ago
2007
Abstract— This paper proposes a simulation-based active policy learning algorithm for finite-horizon, partially-observed sequential decision processes. The algorithm is tested i...