Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Jan Macák

dblp:96/10828 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › policy synthesis
steady-state policy synthesis
0.912025
Steady-State Strategy Synthesis for Swarms of Autonomous Agents · IJCAI 2025
Mathematical optimization › sequential decision making
markov decision processes
0.912025
Steady-State Strategy Synthesis for Swarms of Autonomous Agents · IJCAI 2025
Automated reasoning and model checking › synthesis
strategy synthesis
0.912025
Steady-State Strategy Synthesis for Swarms of Autonomous Agents · IJCAI 2025
YearPublicationVenuePosition
2025 Steady-State Strategy Synthesis for Swarms of Autonomous Agents
abstract
The 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
IJCAI4
2011 Multi-Goal Path Planning Using Self-Organizing Map with Navigation Functions
Jan Faigl, Jan Macák
ESANN2