Počet publikací: 10
Články
-
A multimodal smartwatch-based interaction concept for immersive environments
Computers & Graphics, rok: 2023, ročník: 117, vydání: December, DOI
-
Optimal Sobolev embeddings for the Ornstein-Uhlenbeck operator
Journal of Differential Equations, rok: 2023, ročník: 359, DOI
-
Optimality problems in Orlicz spaces
Advances in Mathematics, rok: 2023, ročník: 432, vydání: November 1, DOI
-
The Satisfiability Problem for a Quantitative Fragment of PCTL
Journal of Computer and System Sciences, rok: 2023, DOI
Články ve sbornících
-
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions
34th International Conference on Concurrency Theory (CONCUR 2023), rok: 2023
-
Mean Payoff Optimization for Systems of Periodic Service and Maintenance
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, rok: 2023
-
Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving
26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy, rok: 2023
-
Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II, rok: 2023
-
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, rok: 2023
Ostatní aplikované výsledky
-
Symbiotic-Witch 2
Rok: 2023