Login / Signup
Jaroslav Krystul
Publication Activity (10 Years)
Years Active: 2006-2007
Publications (10 Years): 0
</>
Publications
</>
Henk A. P. Blom
,
G. J. Bakker
,
Jaroslav Krystul
Probabilistic reachability analysis for large scale stochastic hybrid systems.
CDC
(2007)
Henk A. P. Blom
,
Jaroslav Krystul
,
G. J. Bakker
A Particle System for Safety Verification of Free Flight in Air Traffic.
CDC
(2006)