TY  - RPRT
TI  - Tools at the Frontiers of Quantitative Verification
AU  - Roman Andriushchenko
AU  - Alexander Bork
AU  - Carlos E. Budde
AU  - Milan Češka
AU  - Kush Grover
AU  - Ernst Moritz Hahn
AU  - Arnd Hartmanns
AU  - Bryant Israelsen
AU  - Nils Jansen
AU  - Joshua Jeppson
AU  - Sebastian Junges
AU  - Maximilian A. Köhl
AU  - Bettina Könighofer
AU  - Jan Křetínský
AU  - Tobias Meggendorfer
AU  - David Parker
AU  - Stefan Pranger
AU  - Tim Quatmann
AU  - Enno Ruijters
AU  - Landon Taylor
AU  - Matthias Volk
AU  - Maximilian Weininger
AU  - Zhen Zhang
PY  - 2024
UR  - https://arxiv.org/abs/2405.13583
ID  - 2405.13583
ER  -