Paper: Quantitative and Approximate Monitoring (at LICS 2021)
Authors: Thomas A. Henzinger N. Ege Saraç
Abstract
No Abstract Available
BibTeX
@InProceedings{Sara-QuantitativeandAppr, author = {Thomas A. Henzinger and N. Ege Saraç}, title = {Quantitative and Approximate Monitoring}, booktitle = {Proceedings of the Thirty sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2021)}, year = {2021}, month = {June}, pages = {1--14}, location = {Rome, Italy}, publisher = {IEEE Computer Society Press} }