_id,doi,title
15035,10.5281/ZENODO.8191723,Monitoring hyperproperties with prefix transducers