47 citations · 144 across the 34 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.MA2025
Steady-State Strategy Synthesis for Swarms of Autonomous Agents
Martin Jonáš, Antonín Kučera, Vojtěch Kůr +1
Steady-state synthesis aims to construct a policy for a given MDP such that the long-run average frequencies of visits to the vertices of satisfy given numerical constraint…
cs.LO2025
The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
Miroslav Chodil, Antonín Kučera
The Probabilistic Computational Tree Logic (PCTL) is the main specification formalism for discrete probabilistic systems modeled by Markov chains. Despite serious research attempts…