1116 search results - page 192 / 224 » Applying Predicate Abstraction to Abstract State Machines |
106
click to vote
CC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
FOSSACS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
ICRA
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— Continuous action sets are used in many reinforcement learning (RL) applications in robot control since the control input is continuous. However, discrete action sets a...
AIED
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. While high interactivity has been one of the main characteristics of oneon-one human tutoring, a great deal of controversy surrounds the issue of whether interactivity is...
131
click to vote
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...