Jaroslav Krystul

According to our database, Jaroslav Krystul authored at least 3 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2009

Rare Event Estimation for a Large-Scale Stochastic Hybrid System with Air Traffic Application.

Henk A. P. Blom, Bert G. J. Bakker, Jaroslav Krystul

Proceedings of the Rare Event Simulation using Monte Carlo Methods, 2009

2007

Probabilistic reachability analysis for large scale stochastic hybrid systems.

Henk A. P. Blom, G. J. Bakker, Jaroslav Krystul

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006

A Particle System for Safety Verification of Free Flight in Air Traffic.

Henk A. P. Blom, Jaroslav Krystul, G. J. Bakker

Proceedings of the 45th IEEE Conference on Decision and Control, 2006