%0 Conference Proceedings
%F sankur:hal-03947462
%A Sankur, Ocan
%T {Timed Automata Verification and Synthesis via Finite Automata Learning}
%B {TACAS 2023 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}
%C Paris, France
%U https://hal.science/hal-03947462/file/main.pdf
%8 April
%D 2023