Jan Kurátko

According to our database, Jan Kurátko authored at least 1 paper in 2014.

Collaborative distances:

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

2014

Combined Global and Local Search for the Falsification of Hybrid Systems.

Jan Kurátko, Stefan Ratschan

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014