MITL verification under timing uncertainty. (English) Zbl 07643432
Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 136-152 (2022).
MSC:
68Qxx