Conflict probability and incrossing probability in air traffic management. - Henk A. P. Blom; G. J. Bakker (CDC, 2002)

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)

Interacting Particle System-based Estimation of Reach Probability for a Generalized Stochastic Hybrid System. - Henk A. P. Blom; Hao Ma; G. J. Bakker (ADHS, 2018)