666 search results - page 40 / 134 » Inspector Methods for State Abstraction |
LOPSTR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
71
Voted
KES
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose a new method to estimate human change of concentration from multiple camera views of the human. In our method, human state of concentration is observed as self...
AB
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Among all the modeling approaches dedicated to cellular biology, differential algebra is particularly related to the well-established one based on nonlinear differential ...
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
143
click to vote
ILP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Many reinforcement learning domains are highly relational. While traditional temporal-difference methods can be applied to these domains, they are limited in their capaci...