5314 search results - page 2 / 1063 » Hybrid Dynamic Programming |
120
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...
92
Voted
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
CORR
2009
Springer
14 years 11 months ago
2009
Springer
96
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
108
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...