1204 search results - page 10 / 241 » Hybrid Probabilistic Programs |
133
Voted
CDC
2008
IEEE
16 years 9 days 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...
152
Voted
FOSSACS
2009
Springer
16 years 18 days 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 ...
191
Voted
HIS
2003
15 years 7 months ago
2003
– Probabilistic Inference Networks are becoming increasingly popular for modeling and reasoning in uncertain domains. In the past few years, many efforts have been made in learni...
166
Voted
ISSAC
2007
Springer
15 years 12 months ago
2007
Springer
Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values...
126
Voted
ICANN
2005
Springer
15 years 11 months ago
2005
Springer