Publikace
Počet publikací: 18
Články ve sbornících
-
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, rok: 2025
-
Building Smarter Cities Through AI-Driven Digitization: A Case Study
Proceedings of the 14th International Conference on Smart Cities and Green ICT Systems, rok: 2025
-
Decompose and conquer: ZVP attacks on GLV curves
Applied Cryptography and Network Security, rok: 2025
-
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
RV 2024, 24th International Conference on Runtime Verification, rok: 2025
-
Minuska: Towards a Formally Verified Programming Language Framework
22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, rok: 2025
-
Software Verification Witnesses 2.0
Model Checking Software - 30th International Symposium, SPIN 2024, rok: 2025
-
Statistical Model Checking the 2024 Edition!
Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, rok: 2025
-
T-Shaped Competencies in Academic and IT Service Synergies
Proceedings of the 17th International Conference on Computer Supported Education - Volume 2, rok: 2025