Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications.

Raphal Khoury, Sylvain Hall

Browse the full IRI paper archive.