Publikace
Počet publikací: 12
Články
-
Antarstick: Extracting Snow Height From Time-Lapse Photography
COMPUTER GRAPHICS FORUM, rok: 2024, ročník: 43, vydání: 3, DOI
-
The satisfiability problem for a quantitative fragment of PCTL
Journal of Computer and System Sciences, rok: 2024, ročník: 139, vydání: 103478, DOI
-
Who Let the Guards Out: Visual Support for Patrolling Games
IEEE Transactions on Visualization and Computer Graphics, rok: 2024, DOI
Články ve sbornících
-
Fizzer: New Gray-Box Fuzzer
Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, rok: 2024
-
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, rok: 2024
-
LPGD: A General Framework for Backpropagation through Embedded Optimization Layers
Proceedings of Machine Learning Research, rok: 2024
-
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), rok: 2024
-
Software Verification Witnesses 2.0
Model Checking Software - 30th International Symposium, SPIN 2024, rok: 2024
-
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, rok: 2024
-
The Finite Satisfiability Problem for PCTL is Undecidable
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, rok: 2024