Kölbl, Martin http://orcid.org/0000-0002-8959-5332
Leue, Stefan http://orcid.org/0000-0002-4259-624X
Wies, Thomas http://orcid.org/0000-0003-4051-5968
Funding for this research was provided by:
National Science Foundation (CCF-1350574)
Universität Konstanz
Article History
Received: 21 May 2021
Accepted: 13 September 2022
First Online: 5 October 2022
Declarations
:
: The authors declare that they have no conflict of interest.
: All authors consent to participate in the research described in this manuscript.
: All authors and the institutions that they are affiliated with consent to the publication of the results contained in this manuscript.
: See above. The tool <scp>TarTar</scp> was successful in the artefact evaluation of the CAV 2020 conference, c.f. [CitationRef removed].