FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3135025588> ?p ?o ?g. }

• W3135025588 abstract "Analysis of spatial behaviors of safety-critical systems attracts more and more attention in the filed of cyber physical systems and image processing. The major problem is expressiveness and verifiability for modeling and analysis of spatial behaviors. In order to verify the satisfiability problem of spatial properties, in this paper, we propose a novel topometric model through inducing a topological space with metric distance. For the spatial logic, we specify spatial properties with $mathrm{S}4_{u}$ in continuous regions, which are encoded $mathrm{S}4_{u}$ formula to RCC-8 relations, and discrete spatial regions, whose evolution is achieved through extending $mathrm{S}4_{u}$ with spatial near and until, named $mathrm{S}4_{u}^{e}$ . We present a spatial model checking algorithm to verify if an $mathrm{S}4_{u}$ spatial term or formula satisfies the topometric model. We exemplify the applicability of the approach on obstacle avoidance-based path planning of robots." @default.
• W3135025588 created "2021-03-15" @default.
• W3135025588 creator A5029102429 @default.
• W3135025588 creator A5050550539 @default.
• W3135025588 creator A5077083938 @default.
• W3135025588 creator A5079650610 @default.
• W3135025588 creator A5089205282 @default.
• W3135025588 creator A5090491980 @default.
• W3135025588 date "2020-12-01" @default.
• W3135025588 modified "2023-09-24" @default.
• W3135025588 title "Model Checking of Spatial Logic" @default.
• W3135025588 cites W1495299640 @default.
• W3135025588 cites W1500091283 @default.
• W3135025588 cites W1557143830 @default.
• W3135025588 cites W1598695781 @default.
• W3135025588 cites W165547515 @default.
• W3135025588 cites W1953089651 @default.
• W3135025588 cites W2064114373 @default.
• W3135025588 cites W2067092033 @default.
• W3135025588 cites W2072962073 @default.
• W3135025588 cites W2073491323 @default.
• W3135025588 cites W2076632469 @default.
• W3135025588 cites W2080823411 @default.
• W3135025588 cites W2114565854 @default.
• W3135025588 cites W2122408999 @default.
• W3135025588 cites W2125938200 @default.
• W3135025588 cites W2128990851 @default.
• W3135025588 cites W2134871878 @default.
• W3135025588 cites W2138436353 @default.
• W3135025588 cites W2141917917 @default.
• W3135025588 cites W2152655011 @default.
• W3135025588 cites W2361313718 @default.
• W3135025588 cites W2519834483 @default.
• W3135025588 cites W2587096569 @default.
• W3135025588 cites W2968495818 @default.
• W3135025588 cites W64504817 @default.
• W3135025588 cites W852874 @default.
• W3135025588 cites W86222690 @default.
• W3135025588 doi "https://doi.org/10.1109/apsec51365.2020.00025" @default.
• W3135025588 hasPublicationYear "2020" @default.
• W3135025588 type Work @default.
• W3135025588 sameAs 3135025588 @default.
• W3135025588 citedByCount "0" @default.
• W3135025588 crossrefType "proceedings-article" @default.
• W3135025588 hasAuthorship W3135025588A5029102429 @default.
• W3135025588 hasAuthorship W3135025588A5050550539 @default.
• W3135025588 hasAuthorship W3135025588A5077083938 @default.
• W3135025588 hasAuthorship W3135025588A5079650610 @default.
• W3135025588 hasAuthorship W3135025588A5089205282 @default.
• W3135025588 hasAuthorship W3135025588A5090491980 @default.
• W3135025588 hasConcept C111919701 @default.
• W3135025588 hasConcept C11413529 @default.
• W3135025588 hasConcept C114614502 @default.
• W3135025588 hasConcept C118615104 @default.
• W3135025588 hasConcept C154945302 @default.
• W3135025588 hasConcept C155911833 @default.
• W3135025588 hasConcept C162324750 @default.
• W3135025588 hasConcept C166957645 @default.
• W3135025588 hasConcept C168773769 @default.
• W3135025588 hasConcept C176217482 @default.
• W3135025588 hasConcept C184720557 @default.
• W3135025588 hasConcept C199360897 @default.
• W3135025588 hasConcept C205649164 @default.
• W3135025588 hasConcept C21547014 @default.
• W3135025588 hasConcept C2776650193 @default.
• W3135025588 hasConcept C2777735758 @default.
• W3135025588 hasConcept C2778572836 @default.
• W3135025588 hasConcept C33923547 @default.
• W3135025588 hasConcept C41008148 @default.
• W3135025588 hasConcept C80444323 @default.
• W3135025588 hasConcept C90509273 @default.
• W3135025588 hasConceptScore W3135025588C111919701 @default.
• W3135025588 hasConceptScore W3135025588C11413529 @default.
• W3135025588 hasConceptScore W3135025588C114614502 @default.
• W3135025588 hasConceptScore W3135025588C118615104 @default.
• W3135025588 hasConceptScore W3135025588C154945302 @default.
• W3135025588 hasConceptScore W3135025588C155911833 @default.
• W3135025588 hasConceptScore W3135025588C162324750 @default.
• W3135025588 hasConceptScore W3135025588C166957645 @default.
• W3135025588 hasConceptScore W3135025588C168773769 @default.
• W3135025588 hasConceptScore W3135025588C176217482 @default.
• W3135025588 hasConceptScore W3135025588C184720557 @default.
• W3135025588 hasConceptScore W3135025588C199360897 @default.
• W3135025588 hasConceptScore W3135025588C205649164 @default.
• W3135025588 hasConceptScore W3135025588C21547014 @default.
• W3135025588 hasConceptScore W3135025588C2776650193 @default.
• W3135025588 hasConceptScore W3135025588C2777735758 @default.
• W3135025588 hasConceptScore W3135025588C2778572836 @default.
• W3135025588 hasConceptScore W3135025588C33923547 @default.
• W3135025588 hasConceptScore W3135025588C41008148 @default.
• W3135025588 hasConceptScore W3135025588C80444323 @default.
• W3135025588 hasConceptScore W3135025588C90509273 @default.
• W3135025588 hasFunder F4320321001 @default.
• W3135025588 hasLocation W31350255881 @default.
• W3135025588 hasOpenAccess W3135025588 @default.
• W3135025588 hasPrimaryLocation W31350255881 @default.
• W3135025588 hasRelatedWork W12594488 @default.
• W3135025588 hasRelatedWork W13151591 @default.
• W3135025588 hasRelatedWork W14135898 @default.
• W3135025588 hasRelatedWork W1849215 @default.

• next