TY  - RPRT
TI  - Unknown Biases and Timing Constraints in Timed Automata
AU  - Darion Haase
AU  - Joost-Pieter Katoen
PY  - 2024
UR  - https://arxiv.org/abs/2403.02210
ID  - 2403.02210
ER  -