{"id":"https://openalex.org/W3160215750","doi":"https://doi.org/10.46298/lmcs-18(4:7)2022","title":"Geometric Model Checking of Continuous Space","display_name":"Geometric Model Checking of Continuous Space","publication_year":2022,"publication_date":"2022-11-22","ids":{"openalex":"https://openalex.org/W3160215750","doi":"https://doi.org/10.46298/lmcs-18(4:7)2022","mag":"3160215750"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-18(4:7)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(4:7)2022","pdf_url":"https://lmcs.episciences.org/10348/pdf","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":"article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/10348/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045687469","display_name":"Nick Bezhanishvili","orcid":"https://orcid.org/0009-0005-6692-5051"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Nick Bezhanishvili","raw_affiliation_strings":["Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0009-0005-6692-5051","affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082534511","display_name":"Vincenzo Ciancia","orcid":"https://orcid.org/0000-0003-1314-0574"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Vincenzo Ciancia","raw_affiliation_strings":["Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", Consiglio Nazionale delle Ricerche, Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", Consiglio Nazionale delle Ricerche, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033831417","display_name":"David Gabelaia","orcid":"https://orcid.org/0000-0002-8317-7949"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Gabelaia","raw_affiliation_strings":["TSU Razmadze Mathematical Institute, Tbilisi, Georgia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TSU Razmadze Mathematical Institute, Tbilisi, Georgia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007314744","display_name":"Gianluca Grilletti","orcid":"https://orcid.org/0000-0002-1631-3648"},"institutions":[{"id":"https://openalex.org/I292141241","display_name":"Munich School of Philosophy","ror":"https://ror.org/02kqy4228","country_code":"DE","type":"education","lineage":["https://openalex.org/I292141241"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gianluca Grilletti","raw_affiliation_strings":["Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Germany","institution_ids":["https://openalex.org/I292141241","https://openalex.org/I8204097"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049253314","display_name":"Diego Latella","orcid":"https://orcid.org/0000-0002-3257-9059"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Diego Latella","raw_affiliation_strings":["Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", Consiglio Nazionale delle Ricerche, Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", Consiglio Nazionale delle Ricerche, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049483818","display_name":"Mieke Massink","orcid":"https://orcid.org/0000-0001-5089-002X"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mieke Massink","raw_affiliation_strings":["Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", Consiglio Nazionale delle Ricerche, Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", Consiglio Nazionale delle Ricerche, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.5861,"has_fulltext":true,"cited_by_count":21,"citation_normalized_percentile":{"value":0.90497044,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"Volume 18, Issue 4","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9901000261306763,"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.9901000261306763,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.989300012588501,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9861000180244446,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6228713989257812},{"id":"https://openalex.org/keywords/polyhedron","display_name":"Polyhedron","score":0.5920586585998535},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5412570834159851},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5276826024055481},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5025911331176758},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.47744566202163696},{"id":"https://openalex.org/keywords/spatial-intelligence","display_name":"Spatial intelligence","score":0.4394409954547882},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.42310044169425964},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.4141859710216522},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.4131300449371338},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3814927339553833},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3309824466705322},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32256975769996643},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2218731939792633},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2179105579853058},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.16119718551635742},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1583852767944336}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6228713989257812},{"id":"https://openalex.org/C54829058","wikidata":"https://www.wikidata.org/wiki/Q172937","display_name":"Polyhedron","level":2,"score":0.5920586585998535},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5412570834159851},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5276826024055481},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5025911331176758},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.47744566202163696},{"id":"https://openalex.org/C155911833","wikidata":"https://www.wikidata.org/wiki/Q3817354","display_name":"Spatial intelligence","level":2,"score":0.4394409954547882},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.42310044169425964},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.4141859710216522},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.4131300449371338},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3814927339553833},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3309824466705322},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32256975769996643},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2218731939792633},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2179105579853058},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.16119718551635742},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1583852767944336},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"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}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.46298/lmcs-18(4:7)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(4:7)2022","pdf_url":"https://lmcs.episciences.org/10348/pdf","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:dare.uva.nl:openaire/94b07d00-d351-4dda-9f0b-780ad1644a19","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/geometric-model-checking-of-continuous-space(94b07d00-d351-4dda-9f0b-780ad1644a19).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bezhanishvili, N, Ciancia, V, Gabelaia, D, Grilletti, G, Latella, D & Massink, M 2022, 'Geometric model checking of continuous space', Logical Methods in Computer Science, vol. 18, no. 4, 7. https://doi.org/10.46298/lmcs-18(4:7)2022, https://doi.org/10.48550/arXiv.2105.06194","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:2105.06194","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2105.06194","pdf_url":"https://arxiv.org/pdf/2105.06194","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":"pmh:oai:dnet:people______::bc5d4270770fbd76039ac633b9020210","is_oa":true,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::bc5d4270770fbd76039ac633b9020210","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science 18 (2022): 7:1\u20137:38. doi:10.46298/LMCS-18(4:7)2022","raw_type":"Journal article"},{"id":"pmh:oai:doaj.org/article:57108e6df75746e8824662401f131dc3","is_oa":false,"landing_page_url":"https://doaj.org/article/57108e6df75746e8824662401f131dc3","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 18, Issue 4 (2022)","raw_type":"article"},{"id":"pmh:uvapub:oai:dare.uva.nl:openaire_cris_publications/94b07d00-d351-4dda-9f0b-780ad1644a19","is_oa":true,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/geometric-model-checking-of-continuous-space(94b07d00-d351-4dda-9f0b-780ad1644a19).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 18(4):7. Technischen Universitat Braunschweig","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.4230/lipics.mfcs.2021.72","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.mfcs.2021.72","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":""}],"best_oa_location":{"id":"doi:10.46298/lmcs-18(4:7)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(4:7)2022","pdf_url":"https://lmcs.episciences.org/10348/pdf","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.550000011920929,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3160215750.pdf","grobid_xml":"https://content.openalex.org/works/W3160215750.grobid-xml"},"referenced_works_count":54,"referenced_works":["https://openalex.org/W86222690","https://openalex.org/W1474666314","https://openalex.org/W1483379332","https://openalex.org/W1497013959","https://openalex.org/W1498432697","https://openalex.org/W1530375570","https://openalex.org/W1546282418","https://openalex.org/W1569530544","https://openalex.org/W1601893258","https://openalex.org/W1879819495","https://openalex.org/W1918227179","https://openalex.org/W1974775743","https://openalex.org/W1990070807","https://openalex.org/W1990183105","https://openalex.org/W2033455284","https://openalex.org/W2050527500","https://openalex.org/W2060408509","https://openalex.org/W2073163038","https://openalex.org/W2107144615","https://openalex.org/W2110446829","https://openalex.org/W2143434754","https://openalex.org/W2157576487","https://openalex.org/W2234073770","https://openalex.org/W2473841607","https://openalex.org/W2521165853","https://openalex.org/W2527872501","https://openalex.org/W2602950602","https://openalex.org/W2663462053","https://openalex.org/W2740038983","https://openalex.org/W2785192168","https://openalex.org/W2917102740","https://openalex.org/W2934379134","https://openalex.org/W2939296838","https://openalex.org/W2962721399","https://openalex.org/W2963685352","https://openalex.org/W2977566895","https://openalex.org/W2980190921","https://openalex.org/W3005359275","https://openalex.org/W3025687582","https://openalex.org/W3039194946","https://openalex.org/W3081677519","https://openalex.org/W3098118882","https://openalex.org/W3149132974","https://openalex.org/W3162601351","https://openalex.org/W3165590793","https://openalex.org/W3166887858","https://openalex.org/W3176674467","https://openalex.org/W3189981105","https://openalex.org/W3196048243","https://openalex.org/W4247183245","https://openalex.org/W4252706706","https://openalex.org/W4285719527","https://openalex.org/W4287778907","https://openalex.org/W4309005192"],"related_works":["https://openalex.org/W2916043681","https://openalex.org/W2896131632","https://openalex.org/W2391438543","https://openalex.org/W1844529821","https://openalex.org/W1489487975","https://openalex.org/W2566919497","https://openalex.org/W2124661962","https://openalex.org/W4376854129","https://openalex.org/W2895651535","https://openalex.org/W1497973324"],"abstract_inverted_index":{"Topological":[0],"Spatial":[1,22],"Model":[2],"Checking":[3],"is":[4],"a":[5,59,81,99,141,168],"recent":[6,126],"paradigm":[7],"where":[8],"model":[9,102,144],"checking":[10,103],"techniques":[11,133],"are":[12,116],"developed":[13,83],"for":[14,40,63,146],"the":[15,56],"topological":[16],"interpretation":[17,92],"of":[18,24,58,86,93,114,122,128,154,162,171],"Modal":[19,29,87],"Logic.":[20],"The":[21],"Logic":[23,30],"Closure":[25],"Spaces,":[26],"SLCS,":[27],"extends":[28],"with":[31],"reachability":[32],"connectives":[33],"that,":[34],"in":[35,95,119],"turn,":[36],"can":[37],"be":[38],"used":[39],"expressing":[41],"interesting":[42],"spatial":[43,101,143],"properties,":[44],"such":[45,68],"as":[46,69,75],"\"being":[47,51],"near":[48],"to\"":[49],"or":[50],"surrounded":[52],"by\".":[53],"SLCS":[54,94,147],"constitutes":[55],"kernel":[57],"solid":[60],"logical":[61,177],"framework":[62],"reasoning":[64],"about":[65],"discrete":[66,77],"space,":[67,97],"graphs":[70],"and":[71,131,151],"digital":[72],"images,":[73],"interpreted":[74],"quasi":[76],"closure":[78],"spaces.":[79],"Following":[80],"recently":[82],"geometric":[84,100,142,169],"semantics":[85],"Logic,":[88],"we":[89,166],"propose":[90],"an":[91],"continuous":[96],"admitting":[98],"procedure,":[104],"by":[105],"resorting":[106],"to":[107,125],"models":[108,161],"based":[109],"on":[110,149,157],"polyhedra.":[111],"Such":[112],"representations":[113],"space":[115],"increasingly":[117],"relevant":[118],"many":[120],"domains":[121],"application,":[123],"due":[124],"developments":[127],"3D":[129,159],"scanning":[130],"visualisation":[132],"that":[134,174],"exploit":[135],"mesh":[136],"processing.":[137],"We":[138],"introduce":[139,167],"PolyLogicA,":[140],"checker":[145],"formulas":[148],"polyhedra":[150],"demonstrate":[152],"feasibility":[153],"our":[155],"approach":[156],"two":[158],"polyhedral":[160],"realistic":[163],"size.":[164],"Finally,":[165],"definition":[170],"bisimilarity,":[172],"proving":[173],"it":[175],"characterises":[176],"equivalence.":[178]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}