Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister. Runtime verification of LTL on lossy traces. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 1379-1386, ACM, 2017. [doi]
Abstract is missing.