Institute for Theoretical Computer Science
| Address: | Botanická 554/68a, 602 00 Brno |
|---|
| Phone: | +420 549 49 1814 |
|---|
Publications
Total number of publications: 12
Articles
-
Antarstick: Extracting Snow Height From Time-Lapse Photography
COMPUTER GRAPHICS FORUM, year: 2024, volume: 43, edition: 3, DOI
-
The satisfiability problem for a quantitative fragment of PCTL
Journal of Computer and System Sciences, year: 2024, volume: 139, edition: 103478, DOI
-
Who Let the Guards Out: Visual Support for Patrolling Games
IEEE Transactions on Visualization and Computer Graphics, year: 2024, DOI
Conference proceedings
-
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, year: 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, year: 2024
-
LPGD: A General Framework for Backpropagation through Embedded Optimization Layers
Proceedings of Machine Learning Research, year: 2024
-
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), year: 2024
-
Software Verification Witnesses 2.0
Model Checking Software - 30th International Symposium, SPIN 2024, year: 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, year: 2024
-
The Finite Satisfiability Problem for PCTL is Undecidable
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, year: 2024