57 search results - page 7 / 12 » Sequential Continuity of Functions in Constructive Analysis |
AIPS
2007
13 years 10 months ago
2007
This paper summarizes research on a new emerging framework for learning to plan using the Markov decision process model (MDP). In this paradigm, two approaches to learning to plan...
FAC
2007
13 years 7 months ago
2007
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
ENTCS
2007
13 years 7 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper studies a class of hybrid systems with linear (or linear plus saturated linear) continuous and discrete dynamics, which are determined by a flow map and jump map, a...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...