444 search results - page 12 / 89 » Sensitive state-space exploration |
SIGIR
2006
ACM
15 years 5 months ago
2006
ACM
113
click to vote
SPIN
2010
Springer
14 years 9 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
85
Voted
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— Randomly expanding trees are very effective in exploring high-dimensional spaces. Consequently, they are a powerful algorithmic approach to sampling-based single-query motion p...
126
click to vote
NN
2007
Springer
14 years 11 months ago
2007
Springer
Reinforcement learning is based on exploration of the environment and receiving reward that indicates which actions taken by the agent are good and which ones are bad. In many app...
EURODAC
1994
IEEE
15 years 3 months ago
1994
IEEE
Symbolic state space exploration techniques for Finite State Machines (FSMs) are a major recent result in CAD for VLSI. Most of them are exact and based on forward traversal, but ...