@InProceedings{ABB+24,
author={Roman Andriushchenko and Alexander Bork and Carlos E. Budde and Milan Ceska and Kush Grover and Ernst Moritz Hahn and Arnd Hartmanns and Bryant Israelsen and Nils Jansen and Joshua Jeppson and Sebastian Junges and Maximilian A. K{\"{o}}hl and Bettina Könighofer and Jan Kret{\'{\i}}nsk{\'{y}} and Tobias Meggendorfer and David Parker and Stefan Pranger and Tim Quatmann and Enno Ruijters and Landon Taylor and Matthias Volk and Maximilian Weininger and Zhen Zhang},
title={Tools at the Frontiers of Quantitative Verification},
booktitle={TOOLympics Challenge 2023},
year={2024},

editors={},
pages={},
organization={},
publisher={Springer},
series={},
volume={},
address={},
month={},
note={},
key={}
}