Saeedloei, N.
2024 Dec  4.  On the Existence of Unions of Timed Scenarios. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :