Raphaël Khoury, Sylvain Hallé. Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications. In 2018 IEEE International Conference on Information Reuse and Integration, IRI 2018, Salt Lake City, UT, USA, July 6-9, 2018. pages 495-502, IEEE, 2018. [doi]
Abstract is missing.