TY  - RPRT
TI  - On Decidability Timed Automata with 2 Parametric Clocks
AU  - Marcello M. Bersani
AU  - Matteo Rossi
AU  - Pierluigi San Pietro
PY  - 2025
UR  - https://arxiv.org/abs/2503.04374
ID  - 2503.04374
ER  -