7918 search results - page 101 / 1584 » Model Composition Directives |
111
Voted
ICML
2002
IEEE
16 years 1 months ago
2002
IEEE
One of the central challenges in reinforcement learning is to balance the exploration/exploitation tradeoff while scaling up to large problems. Although model-based reinforcement ...
74
Voted
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
116
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
VTC
2008
IEEE
15 years 7 months ago
2008
IEEE
