Marek Jankola

According to our database, Marek Jankola authored at least 2 papers in 2024.

Collaborative distances:

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

2024

CPAchecker 2.3 with Strategy Selection - (Competition Contribution).

Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Tighter Construction of Tight Büchi Automata.

Marek Jankola, Jan Strejcek

Proceedings of the Foundations of Software Science and Computation Structures, 2024