3 papers
cs.CV2025
LLEXICORP: End-user Explainability of Convolutional Neural Networks
Vojtěch Kůr, Adam Bajger, Adam Kukučka +3
Convolutional neural networks (CNNs) underpin many modern computer vision systems. With applications ranging from common to critical areas, a need to explain and understand the mod…
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.AI2024
Multiple Mean-Payoff Optimization under Local Stability Constraints
David Klaška, Antonín Kučera, Vojtěch Kůr +2
The long-run average payoff per transition (mean payoff) is the main tool for specifying the performance and dependability properties of discrete systems. The problem of constructi…