Publications
Total number of publications: 38
Articles
-
Úvod do strojového učení pro patology
Ceskoslovenska Patologie, year: 2025, volume: 61, edition: 1
-
Who Let the Guards Out: Visual Support for Patrolling Games
IEEE Transactions on Visualization and Computer Graphics, year: 2025, volume: 31, edition: 1, DOI
Chapters
-
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, year: 2025, number of pages: 27 s.
-
ROCA and Minerva Vulnerabilities
Embedded Cryptography 3, edition: Vyd. 1, year: 2025, number of pages: 20 s.
Conference proceedings
-
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
VMCAI 2025, 26th International Conference on Verification, Model Checking, and Abstract Interpretation, year: 2025
-
Analysis of Input-Output Mappings in Coinjoin Transactions with Arbitrary Values
Computer Security – ESORICS 2025, year: 2025
-
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, year: 2025
-
Building Smarter Cities Through AI-Driven Digitization: A Case Study
Proceedings of the 14th International Conference on Smart Cities and Green ICT Systems, year: 2025
-
Decompose and conquer: ZVP attacks on GLV curves
Applied Cryptography and Network Security, year: 2025
-
Diagnosable Code Duplication in Introductory Programming
Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, year: 2025