EDBT 2026 Demo / reviewers in the wild / expert
Jan Macák
dblp:96/10828
· DBLP profile ↗
2ranked-venue papers
0as first author
1since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 2 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Mathematical optimization · 44% Automated reasoning and model checking · 44% Computational complexity · 13% | |
| Artificial intelligence
1 paper |
Planning, search and constraint satisfaction · 100% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › policy synthesis
steady-state policy synthesis |
0.9 | 1 | 2025 | Steady-State Strategy Synthesis for Swarms of Autonomous Agents · IJCAI 2025 |
Mathematical optimization › sequential decision making
markov decision processes |
0.9 | 1 | 2025 | Steady-State Strategy Synthesis for Swarms of Autonomous Agents · IJCAI 2025 |
Automated reasoning and model checking › synthesis
strategy synthesis |
0.9 | 1 | 2025 | Steady-State Strategy Synthesis for Swarms of Autonomous Agents · IJCAI 2025 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Steady-State Strategy Synthesis for Swarms of Autonomous AgentsabstractThe steady-state synthesis aims to construct a policy for a given MDP D such that the long-run average frequencies of visits to the vertices of D satisfy given numerical constraints. This problem is solvable in polynomial time, and memoryless policies are sufficient for approximating an arbitrary frequency vector achievable by a general (infinite-memory) policy. We study the steady-state synthesis problem for multiagent systems, where multiple autonomous agents jointly strive to achieve a suitable frequency vector. We show that the problem for multiple agents is computationally hard (PSPACE or NP hard, depending on the variant), and memoryless strategy profiles are insufficient for approximating achievable frequency vectors. Furthermore, we prove that even evaluating the frequency vector achieved by a given memoryless profile is computationally hard. This reveals a severe barrier to constructing an efficient synthesis algorithm, even for memoryless profiles. Nevertheless, we design an efficient and scalable synthesis algorithm for a subclass of full memoryless profiles, and we evaluate this algorithm on a large class of randomly generated instances. The experimental results demonstrate a significant improvement against a naive algorithm based on strategy sharing. Martin Jonás, Antonín Kucera 0001, Vojtech Kur, Jan Macák |
IJCAI | 4 |
| 2011 | Multi-Goal Path Planning Using Self-Organizing Map with Navigation Functions
Jan Faigl, Jan Macák |
ESANN | 2 |