{"id":"https://openalex.org/W2726579140","doi":"https://doi.org/10.23638/lmcs-14(4:2)2018","title":"Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL","display_name":"Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL","publication_year":2018,"publication_date":"2018-10-23","ids":{"openalex":"https://openalex.org/W2726579140","doi":"https://doi.org/10.23638/lmcs-14(4:2)2018","mag":"2726579140"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-14(4:2)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(4:2)2018","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.23638/lmcs-14(4:2)2018","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021825279","display_name":"Laura Nenzi","orcid":"https://orcid.org/0000-0003-2263-9342"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"L. Nenzi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060744592","display_name":"Luca Bortolussi","orcid":"https://orcid.org/0000-0001-8874-4001"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"L. Bortolussi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082534511","display_name":"Vincenzo Ciancia","orcid":"https://orcid.org/0000-0003-1314-0574"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"V. Ciancia","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069085203","display_name":"Michele Loreti","orcid":"https://orcid.org/0000-0003-3061-863X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"M. Loreti","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5049483818","display_name":"Mieke Massink","orcid":"https://orcid.org/0000-0001-5089-002X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"M. Massink","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7788,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.85936927,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"Volume 14, Issue 4","issue":"Modal and temporal logics","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.991100013256073,"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"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.991100013256073,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9864000082015991,"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/T11106","display_name":"Data Management and Algorithms","score":0.9801999926567078,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.7246230840682983},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.6985897421836853},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6076704263687134},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5568596720695496},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.48938292264938354},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.44449883699417114},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.42955252528190613},{"id":"https://openalex.org/keywords/spacetime","display_name":"Spacetime","score":0.42767566442489624},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.4119328260421753},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.34997236728668213},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3316725492477417},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27676764130592346},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25768280029296875}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7246230840682983},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.6985897421836853},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6076704263687134},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5568596720695496},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.48938292264938354},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.44449883699417114},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42955252528190613},{"id":"https://openalex.org/C130187892","wikidata":"https://www.wikidata.org/wiki/Q133327","display_name":"Spacetime","level":2,"score":0.42767566442489624},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.4119328260421753},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.34997236728668213},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3316725492477417},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27676764130592346},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25768280029296875},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.23638/lmcs-14(4:2)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(4:2)2018","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1706.09334","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1706.09334","pdf_url":"https://arxiv.org/pdf/1706.09334","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.1706.09334","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1706.09334","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:2962721399","is_oa":true,"landing_page_url":"http://dblp.uni-trier.de/db/journals/corr/corr1706.html#NenziBCLM17","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Logical Methods in Computer Science","raw_type":null}],"best_oa_location":{"id":"doi:10.23638/lmcs-14(4:2)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(4:2)2018","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.7799999713897705,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[{"id":"https://openalex.org/G2739114973","display_name":null,"funder_award_id":"600708","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W86222690","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1599831144","https://openalex.org/W1601893258","https://openalex.org/W1867859667","https://openalex.org/W1918227179","https://openalex.org/W1963893985","https://openalex.org/W1972402079","https://openalex.org/W1974775743","https://openalex.org/W1978720913","https://openalex.org/W1998471673","https://openalex.org/W2025750846","https://openalex.org/W2049399166","https://openalex.org/W2053513378","https://openalex.org/W2087485732","https://openalex.org/W2119049671","https://openalex.org/W2134871878","https://openalex.org/W2151142585","https://openalex.org/W2151284417","https://openalex.org/W2167799541","https://openalex.org/W2234073770","https://openalex.org/W2245953329","https://openalex.org/W2473841607","https://openalex.org/W2521165853","https://openalex.org/W2526596885","https://openalex.org/W2527872501","https://openalex.org/W2785192168","https://openalex.org/W2796919988"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W1551070491","https://openalex.org/W2034301573","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2521108391","https://openalex.org/W2350953867","https://openalex.org/W1592102986","https://openalex.org/W2477338659","https://openalex.org/W1967076997"],"abstract_inverted_index":{"In":[0,30],"spatially":[1],"located,":[2],"large":[3,173],"scale":[4],"systems,":[5],"time":[6,53],"and":[7,11,27,54,65,89,123,168],"space":[8,56],"dynamics":[9],"interact":[10],"drives":[12],"the":[13,35,107,124,127,154,159],"behaviour.":[14],"Examples":[15],"of":[16,51,85,129,156,161,171],"such":[17],"systems":[18],"can":[19,44,96],"be":[20,45,98],"found":[21],"in":[22,146,163],"many":[23],"smart":[24],"city":[25],"applications":[26],"Cyber-Physical":[28],"Systems.":[29],"this":[31],"paper":[32],"we":[33],"present":[34],"Signal":[36],"Spatio-Temporal":[37],"Logic":[38],"(SSTL),":[39],"a":[40,63,66,133,137,164,172],"modal":[41],"logic":[42,59],"that":[43,117,135],"used":[46],"to":[47],"specify":[48],"spatio-temporal":[49,139,169],"properties":[50],"linear":[52],"discrete":[55],"models.":[57],"The":[58,141],"is":[60,80,119],"equipped":[61],"with":[62,100,111,179],"Boolean":[64],"quantitative":[67],"semantics":[68],"for":[69,82],"which":[70],"efficient":[71],"monitoring":[72,142],"algorithms":[73,95,143],"have":[74],"been":[75],"developed.":[76],"As":[77],"such,":[78],"it":[79],"suitable":[81],"real-time":[83],"verification":[84],"both":[86],"white":[87],"box":[88,91],"black":[90],"complex":[92],"systems.":[93],"These":[94],"also":[97],"combined":[99],"stochastic":[101],"model":[102],"checking":[103],"routines.":[104],"SSTL":[105,157],"combines":[106],"until":[108],"temporal":[109],"modality":[110],"two":[112],"spatial":[113],"modalities,":[114],"one":[115],"expressing":[116],"something":[118],"true":[120],"somewhere":[121],"nearby":[122],"other":[125],"capturing":[126],"notion":[128],"being":[130],"surrounded":[131],"by":[132],"region":[134],"satisfies":[136],"given":[138],"property.":[140],"are":[144],"implemented":[145],"an":[147],"open":[148],"source":[149],"Java":[150],"tool.":[151],"We":[152],"illustrate":[153],"use":[155],"analysing":[158],"formation":[160],"patterns":[162],"Turing":[165],"Reaction-Diffusion":[166],"system":[167],"aspects":[170],"bike-sharing":[174],"system.":[175],"Comment:":[176],"36":[177],"pages":[178],"13":[180],"figures":[181]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}