482 search results - page 4 / 97 » Exploration in Metric State Spaces |
CAV
1997
Springer
13 years 9 months ago
1997
Springer
ECEASST
2010
13 years 5 days ago
2010
SARA
2007
Springer
13 years 11 months ago
2007
Springer
GECCO
2009
Springer
13 years 10 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
AAAI
2008
13 years 7 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...