1445 search results - page 86 / 289 » Properties of state spaces and their applications |
192
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
166
click to vote
FOCS
2000
IEEE
15 years 10 months ago
2000
IEEE
There is an upsurging interest in designing succinct data structures for basic searching problems (see [23] and references therein). The motivation has to be found in the exponent...
162
click to vote
IROS
2009
IEEE
16 years 29 days ago
2009
IEEE
— Sampling-based motion planners are often used to solve very high-dimensional planning problems. Many recent algorithms use projections of the state space to estimate properties...
163
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We consider approximate policy evaluation for finite state and action Markov decision processes (MDP) in the off-policy learning context and with the simulation-based least square...
111
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
-- This paper presents the current state of a work in progress, whose objective is to better understand the effects of factors that significantly influence the performance of the L...