{"id":"https://openalex.org/W4312396679","doi":"https://doi.org/10.1007/978-3-031-22337-2_16","title":"On Probabilistic Monitorability","display_name":"On Probabilistic Monitorability","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4312396679","doi":"https://doi.org/10.1007/978-3-031-22337-2_16"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-22337-2_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-22337-2_16","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041913577","display_name":"Luca Aceto","orcid":"https://orcid.org/0000-0002-2197-3018"},"institutions":[{"id":"https://openalex.org/I123185442","display_name":"Reykjav\u00edk University","ror":"https://ror.org/05d2kyx68","country_code":"IS","type":"education","lineage":["https://openalex.org/I123185442"]},{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]}],"countries":["IS","IT"],"is_corresponding":true,"raw_author_name":"Luca Aceto","raw_affiliation_strings":["Gran Sasso Science Institute, L\u2019Aquila, Italy","ICE-TCS, Department of Computer Science,  Reykjav\u00edk University, Reykjavik, Iceland"],"affiliations":[{"raw_affiliation_string":"Gran Sasso Science Institute, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]},{"raw_affiliation_string":"ICE-TCS, Department of Computer Science,  Reykjav\u00edk University, Reykjavik, Iceland","institution_ids":["https://openalex.org/I123185442"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066986721","display_name":"Antonis Achilleos","orcid":"https://orcid.org/0000-0002-1314-333X"},"institutions":[{"id":"https://openalex.org/I123185442","display_name":"Reykjav\u00edk University","ror":"https://ror.org/05d2kyx68","country_code":"IS","type":"education","lineage":["https://openalex.org/I123185442"]}],"countries":["IS"],"is_corresponding":false,"raw_author_name":"Antonis Achilleos","raw_affiliation_strings":["ICE-TCS, Department of Computer Science,  Reykjav\u00edk University, Reykjavik, Iceland"],"affiliations":[{"raw_affiliation_string":"ICE-TCS, Department of Computer Science,  Reykjav\u00edk University, Reykjavik, Iceland","institution_ids":["https://openalex.org/I123185442"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086278337","display_name":"Elli Anastasiadi","orcid":"https://orcid.org/0000-0001-7526-9256"},"institutions":[{"id":"https://openalex.org/I123185442","display_name":"Reykjav\u00edk University","ror":"https://ror.org/05d2kyx68","country_code":"IS","type":"education","lineage":["https://openalex.org/I123185442"]}],"countries":["IS"],"is_corresponding":false,"raw_author_name":"Elli Anastasiadi","raw_affiliation_strings":["ICE-TCS, Department of Computer Science,  Reykjav\u00edk University, Reykjavik, Iceland"],"affiliations":[{"raw_affiliation_string":"ICE-TCS, Department of Computer Science,  Reykjav\u00edk University, Reykjavik, Iceland","institution_ids":["https://openalex.org/I123185442"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077349456","display_name":"Adrian Francalanza","orcid":"https://orcid.org/0000-0003-3829-7391"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":false,"raw_author_name":"Adrian Francalanza","raw_affiliation_strings":["Department of Computer Science, University of Malta, Msida, Malta"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Malta, Msida, Malta","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016540152","display_name":"Anna Ing\u00f3lfsd\u00f3ttir","orcid":"https://orcid.org/0000-0001-8362-3075"},"institutions":[{"id":"https://openalex.org/I123185442","display_name":"Reykjav\u00edk University","ror":"https://ror.org/05d2kyx68","country_code":"IS","type":"education","lineage":["https://openalex.org/I123185442"]}],"countries":["IS"],"is_corresponding":false,"raw_author_name":"Anna Ing\u00f3lfsd\u00f3ttir","raw_affiliation_strings":["ICE-TCS, Department of Computer Science,  Reykjav\u00edk University, Reykjavik, Iceland"],"affiliations":[{"raw_affiliation_string":"ICE-TCS, Department of Computer Science,  Reykjav\u00edk University, Reykjavik, Iceland","institution_ids":["https://openalex.org/I123185442"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039866284","display_name":"Karoliina Lehtinen","orcid":"https://orcid.org/0000-0003-1171-8790"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I143002897","display_name":"Universit\u00e9 de Toulon","ror":"https://ror.org/02m9kbe37","country_code":"FR","type":"education","lineage":["https://openalex.org/I143002897"]},{"id":"https://openalex.org/I21491767","display_name":"Aix-Marseille Universit\u00e9","ror":"https://ror.org/035xkbk20","country_code":"FR","type":"education","lineage":["https://openalex.org/I21491767"]},{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Karoliina Lehtinen","raw_affiliation_strings":["CNRS, Aix-Marseille University and University of Toulon, LIS, Marseille, France"],"affiliations":[{"raw_affiliation_string":"CNRS, Aix-Marseille University and University of Toulon, LIS, Marseille, France","institution_ids":["https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041314517","display_name":"Mathias Ruggaard Pedersen","orcid":"https://orcid.org/0000-0002-7470-4962"},"institutions":[{"id":"https://openalex.org/I123185442","display_name":"Reykjav\u00edk University","ror":"https://ror.org/05d2kyx68","country_code":"IS","type":"education","lineage":["https://openalex.org/I123185442"]}],"countries":["IS"],"is_corresponding":false,"raw_author_name":"Mathias Ruggaard Pedersen","raw_affiliation_strings":["ICE-TCS, Department of Computer Science,  Reykjav\u00edk University, Reykjavik, Iceland"],"affiliations":[{"raw_affiliation_string":"ICE-TCS, Department of Computer Science,  Reykjav\u00edk University, Reykjavik, Iceland","institution_ids":["https://openalex.org/I123185442"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5041913577"],"corresponding_institution_ids":["https://openalex.org/I123185442","https://openalex.org/I4210150763"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.664,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.74788983,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"325","last_page":"342"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.914048433303833},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.8926138877868652},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7559654712677002},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6365901231765747},{"id":"https://openalex.org/keywords/probabilistic-relevance-model","display_name":"Probabilistic relevance model","score":0.6163390874862671},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5772149562835693},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5306374430656433},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.46597859263420105},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.45105424523353577},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44875699281692505},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4445782005786896},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.43328678607940674},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.41956108808517456},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3313455581665039},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2099098265171051},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2094096839427948},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17361414432525635}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.914048433303833},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8926138877868652},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7559654712677002},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6365901231765747},{"id":"https://openalex.org/C143017306","wikidata":"https://www.wikidata.org/wiki/Q3318133","display_name":"Probabilistic relevance model","level":4,"score":0.6163390874862671},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5772149562835693},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5306374430656433},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.46597859263420105},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.45105424523353577},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44875699281692505},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4445782005786896},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.43328678607940674},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.41956108808517456},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3313455581665039},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2099098265171051},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2094096839427948},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17361414432525635},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-22337-2_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-22337-2_16","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:publications/a7517f2e-d585-4a5b-ae35-1807b030a779","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/a7517f2e-d585-4a5b-ae35-1807b030a779","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Aceto, L, Achilleos, A, Anastasiadi, E, Francalanza, A, Ing\u00f3lfsd\u00f3ttir, A, Lehtinen, K & Pedersen, M R 2022, On Probabilistic Monitorability. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13660 LNCS, pp. 325-342. https://doi.org/10.1007/978-3-031-22337-2_16","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W135345858","https://openalex.org/W1498432697","https://openalex.org/W1505569957","https://openalex.org/W1524018317","https://openalex.org/W1557502521","https://openalex.org/W1978469611","https://openalex.org/W2043996829","https://openalex.org/W2056099894","https://openalex.org/W2083770991","https://openalex.org/W2095304972","https://openalex.org/W2155756511","https://openalex.org/W2165161585","https://openalex.org/W2599123558","https://openalex.org/W2742517914","https://openalex.org/W2753231957","https://openalex.org/W2785931971","https://openalex.org/W2786819761","https://openalex.org/W2796942245","https://openalex.org/W2798942084","https://openalex.org/W2888608158","https://openalex.org/W2899996175","https://openalex.org/W2953213934","https://openalex.org/W2970873286","https://openalex.org/W2978287595","https://openalex.org/W3092183339","https://openalex.org/W3104466477","https://openalex.org/W3124557892","https://openalex.org/W3127398300","https://openalex.org/W3129148263","https://openalex.org/W3166125524","https://openalex.org/W3169585298","https://openalex.org/W3175229932","https://openalex.org/W3183491879","https://openalex.org/W3184761245","https://openalex.org/W4285264084"],"related_works":["https://openalex.org/W2080575293","https://openalex.org/W2977431667","https://openalex.org/W2799247498","https://openalex.org/W2576017016","https://openalex.org/W88990729","https://openalex.org/W2494523064","https://openalex.org/W4224019010","https://openalex.org/W2160610433","https://openalex.org/W2903940728","https://openalex.org/W2096349874"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}