Luca Aceto Antonis Achilleos Elli Anastasiadi Adrian Francalanza Anna Ingólfsdóttir Karoliina Lehtinen Mathias Ruggaard Pedersen On Probabilistic Monitorability. 325-342 2022 Principles of Systems Design https://doi.org/10.1007/978-3-031-22337-2_16 https://www.wikidata.org/entity/Q131419162 conf/birthday/2022henzinger db/conf/birthday/henzinger2022.html#AcetoAAFILP22