A Particle System for Safety Verification of Free Flight in Air Traffic. - Henk A. P. Blom; Jaroslav Krystul; G. J. Bakker (CDC, 2006)

Probabilistic reachability analysis for large scale stochastic hybrid systems. - Henk A. P. Blom; G. J. Bakker; Jaroslav Krystul (CDC, 2007)

Rare Event Estimation for a Large-Scale Stochastic Hybrid System with Air Traffic Application. - Henk A. P. Blom; Bert G. J. Bakker; Jaroslav Krystul (Rare Event Simulation using Monte Carlo Methods, 2009)