1116 search results - page 39 / 224 » Applying Predicate Abstraction to Abstract State Machines |
88
Voted
JCP
2008
14 years 11 months ago
2008
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...
SPIN
2005
Springer
15 years 4 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
FORTE
2008
15 years 17 days ago
2008
Abstract. Model generation is an important formal technique for finding interesting instances of computationally hard problems. In this paper we study model generation over Horn lo...
112
click to vote
KI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The demand for humanoid robots as service robots for everyday life has increased during the last years. The processing power of the hardware and the development of comple...
122
click to vote
ADBIS
2006
Springer
15 years 2 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...