Document is current
Any future updates will be listed below
-
Authors
Andriushchenko, Roman
Bork, Alexander
Češka, Milan
Junges, Sebastian
Katoen, Joost-Pieter
Macák, Filip
-
Funding
Funding for this research was provided by:
Brno University of Technology
- License Information
-
More Information
Article History
Received: 3 May 2024
Accepted: 12 November 2025
First Online: 20 February 2026
Declarations
:
: Not applicable.
: The authors declare no competing interests.
