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]
@inproceedings{KhouryH18,
title = {Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications},
author = {Raphaël Khoury and Sylvain Hallé},
year = {2018},
doi = {10.1109/IRI.2018.00079},
url = {http://doi.ieeecomputersociety.org/10.1109/IRI.2018.00079},
researchr = {https://researchr.org/publication/KhouryH18},
cites = {0},
citedby = {0},
pages = {495-502},
booktitle = {2018 IEEE International Conference on Information Reuse and Integration, IRI 2018, Salt Lake City, UT, USA, July 6-9, 2018},
publisher = {IEEE},
isbn = {978-1-5386-2659-7},
}