_id,doi,title
9356,10.1109/LICS52264.2021.9470547,Quantitative and approximate monitoring