Matches in SemOpenAlex for { <https://semopenalex.org/work/W2290403162> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2290403162 abstract "In this paper, we consider networks of mobile robots responsible for accomplishing tasks, captured by Linear Temporal Logic (LTL) formulas, while ensuring communication with all other robots in the network. The robots operate in complex environments represented by appropriate transition systems (TS). We propose an intermittent communication framework, which is based on a LTL statement that enforces the robots to meet and communicate at pre-determined points in the environment infinitely often. Our approach combines an existing model checking method with a novel technique that aims to reduce the state-space of the TS satisfying at the same time the LTL statement." @default.
- W2290403162 created "2016-06-24" @default.
- W2290403162 creator A5014874021 @default.
- W2290403162 creator A5080808780 @default.
- W2290403162 date "2015-11-01" @default.
- W2290403162 modified "2023-09-26" @default.
- W2290403162 title "Intermittent connectivity control in mobile robot networks" @default.
- W2290403162 cites W2000340206 @default.
- W2290403162 cites W2026508670 @default.
- W2290403162 cites W2044371603 @default.
- W2290403162 cites W2044437309 @default.
- W2290403162 cites W2052980340 @default.
- W2290403162 cites W2060799405 @default.
- W2290403162 cites W2061958648 @default.
- W2290403162 cites W2063801303 @default.
- W2290403162 cites W2066074119 @default.
- W2290403162 cites W2074032690 @default.
- W2290403162 cites W2130786035 @default.
- W2290403162 cites W2147179040 @default.
- W2290403162 cites W2151958719 @default.
- W2290403162 cites W2166797693 @default.
- W2290403162 doi "https://doi.org/10.1109/acssc.2015.7421315" @default.
- W2290403162 hasPublicationYear "2015" @default.
- W2290403162 type Work @default.
- W2290403162 sameAs 2290403162 @default.
- W2290403162 citedByCount "19" @default.
- W2290403162 countsByYear W22904031622016 @default.
- W2290403162 countsByYear W22904031622017 @default.
- W2290403162 countsByYear W22904031622018 @default.
- W2290403162 countsByYear W22904031622019 @default.
- W2290403162 countsByYear W22904031622020 @default.
- W2290403162 countsByYear W22904031622021 @default.
- W2290403162 crossrefType "proceedings-article" @default.
- W2290403162 hasAuthorship W2290403162A5014874021 @default.
- W2290403162 hasAuthorship W2290403162A5080808780 @default.
- W2290403162 hasConcept C107457646 @default.
- W2290403162 hasConcept C154945302 @default.
- W2290403162 hasConcept C19966478 @default.
- W2290403162 hasConcept C31258907 @default.
- W2290403162 hasConcept C41008148 @default.
- W2290403162 hasConcept C65401140 @default.
- W2290403162 hasConcept C90509273 @default.
- W2290403162 hasConceptScore W2290403162C107457646 @default.
- W2290403162 hasConceptScore W2290403162C154945302 @default.
- W2290403162 hasConceptScore W2290403162C19966478 @default.
- W2290403162 hasConceptScore W2290403162C31258907 @default.
- W2290403162 hasConceptScore W2290403162C41008148 @default.
- W2290403162 hasConceptScore W2290403162C65401140 @default.
- W2290403162 hasConceptScore W2290403162C90509273 @default.
- W2290403162 hasLocation W22904031621 @default.
- W2290403162 hasOpenAccess W2290403162 @default.
- W2290403162 hasPrimaryLocation W22904031621 @default.
- W2290403162 hasRelatedWork W1240780431 @default.
- W2290403162 hasRelatedWork W1485735559 @default.
- W2290403162 hasRelatedWork W1571783264 @default.
- W2290403162 hasRelatedWork W2112187171 @default.
- W2290403162 hasRelatedWork W2294875506 @default.
- W2290403162 hasRelatedWork W2414985942 @default.
- W2290403162 hasRelatedWork W2590484905 @default.
- W2290403162 hasRelatedWork W2754484194 @default.
- W2290403162 hasRelatedWork W2984482225 @default.
- W2290403162 hasRelatedWork W2267100471 @default.
- W2290403162 isParatext "false" @default.
- W2290403162 isRetracted "false" @default.
- W2290403162 magId "2290403162" @default.
- W2290403162 workType "article" @default.