Jakub Chaloupka

Available identifiers

zbMath Open chaloupka.jakubMaRDI QIDQ537944

List of research outcomes

Publication	Date of Publication	Type
Using strategy improvement to stay alive	2021-02-16	Paper
Improved distributed algorithms for SCC decomposition	2013-12-13	Paper
Z-reachability problem for games on 2-dimensional vector addition systems with states is in P	2013-04-18	Paper
Faster algorithm for mean-payoff games	2012-09-28	Paper
Using strategy improvement to stay alive	2012-08-30	Paper
Faster algorithms for mean-payoff games	2011-05-23	Paper
Distributed algorithms for SCC decomposition	2011-02-02	Paper
Z-reachability problem for games on 2-dimensional vector addition systems with states is in P	2010-08-31	Paper

Research outcomes over time

This page was built for person: Jakub Chaloupka