FRINK Linked Data Fragments server

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

• W2167464211 endingPage "11" @default.
• W2167464211 startingPage "1" @default.
• W2167464211 abstract "Obstacle avoidance is a key performance of mobile robots. However, its experimental verification is rather difficult, due to the probabilistic behaviors of both the robots and the obstacles. This paper presents the Markov Decision Process based probabilistic formal models for three obstacle-avoidance strategies of a mobile robot in an uncertain dynamic environment. The models are employed to make analyses in PRISM, and the correctness of the analysis results is verified by MATLAB simulations. Finally, the minimum time and the energy consumption are determined by further analyses in PRISM, which prove to be useful in finding the optimal strategy. The present work provides a foundation for the probabilistic formal verification of more complicated obstacle-avoidance strategies." @default.
• W2167464211 created "2016-06-24" @default.
• W2167464211 creator A5009380236 @default.
• W2167464211 creator A5071389166 @default.
• W2167464211 creator A5087366755 @default.
• W2167464211 creator A5090590010 @default.
• W2167464211 date "2015-01-01" @default.
• W2167464211 modified "2023-10-16" @default.
• W2167464211 title "Modeling and Analysis of the Obstacle-Avoidance Strategies for a Mobile Robot in a Dynamic Environment" @default.
• W2167464211 cites W1964636164 @default.
• W2167464211 cites W1966191238 @default.
• W2167464211 cites W1979195338 @default.
• W2167464211 cites W1988994102 @default.
• W2167464211 cites W2002956917 @default.
• W2167464211 cites W2010573563 @default.
• W2167464211 cites W2014992048 @default.
• W2167464211 cites W2030895696 @default.
• W2167464211 cites W2033593612 @default.
• W2167464211 cites W2075743205 @default.
• W2167464211 cites W2078954502 @default.
• W2167464211 cites W2082845025 @default.
• W2167464211 cites W2124339220 @default.
• W2167464211 cites W2162943184 @default.
• W2167464211 cites W2342883577 @default.
• W2167464211 cites W2761407134 @default.
• W2167464211 cites W2899043600 @default.
• W2167464211 cites W3007567420 @default.
• W2167464211 doi "https://doi.org/10.1155/2015/837259" @default.
• W2167464211 hasPublicationYear "2015" @default.
• W2167464211 type Work @default.
• W2167464211 sameAs 2167464211 @default.
• W2167464211 citedByCount "7" @default.
• W2167464211 countsByYear W21674642112018 @default.
• W2167464211 countsByYear W21674642112019 @default.
• W2167464211 countsByYear W21674642112022 @default.
• W2167464211 crossrefType "journal-article" @default.
• W2167464211 hasAuthorship W2167464211A5009380236 @default.
• W2167464211 hasAuthorship W2167464211A5071389166 @default.
• W2167464211 hasAuthorship W2167464211A5087366755 @default.
• W2167464211 hasAuthorship W2167464211A5090590010 @default.
• W2167464211 hasBestOaLocation W21674642111 @default.
• W2167464211 hasConcept C105795698 @default.
• W2167464211 hasConcept C106189395 @default.
• W2167464211 hasConcept C111919701 @default.
• W2167464211 hasConcept C11413529 @default.
• W2167464211 hasConcept C121704057 @default.
• W2167464211 hasConcept C154945302 @default.
• W2167464211 hasConcept C159886148 @default.
• W2167464211 hasConcept C17744445 @default.
• W2167464211 hasConcept C199539241 @default.
• W2167464211 hasConcept C19966478 @default.
• W2167464211 hasConcept C26517878 @default.
• W2167464211 hasConcept C2776650193 @default.
• W2167464211 hasConcept C2780864053 @default.
• W2167464211 hasConcept C33923547 @default.
• W2167464211 hasConcept C38652104 @default.
• W2167464211 hasConcept C41008148 @default.
• W2167464211 hasConcept C49937458 @default.
• W2167464211 hasConcept C55439883 @default.
• W2167464211 hasConcept C6683253 @default.
• W2167464211 hasConcept C90509273 @default.
• W2167464211 hasConcept C98045186 @default.
• W2167464211 hasConceptScore W2167464211C105795698 @default.
• W2167464211 hasConceptScore W2167464211C106189395 @default.
• W2167464211 hasConceptScore W2167464211C111919701 @default.
• W2167464211 hasConceptScore W2167464211C11413529 @default.
• W2167464211 hasConceptScore W2167464211C121704057 @default.
• W2167464211 hasConceptScore W2167464211C154945302 @default.
• W2167464211 hasConceptScore W2167464211C159886148 @default.
• W2167464211 hasConceptScore W2167464211C17744445 @default.
• W2167464211 hasConceptScore W2167464211C199539241 @default.
• W2167464211 hasConceptScore W2167464211C19966478 @default.
• W2167464211 hasConceptScore W2167464211C26517878 @default.
• W2167464211 hasConceptScore W2167464211C2776650193 @default.
• W2167464211 hasConceptScore W2167464211C2780864053 @default.
• W2167464211 hasConceptScore W2167464211C33923547 @default.
• W2167464211 hasConceptScore W2167464211C38652104 @default.
• W2167464211 hasConceptScore W2167464211C41008148 @default.
• W2167464211 hasConceptScore W2167464211C49937458 @default.
• W2167464211 hasConceptScore W2167464211C55439883 @default.
• W2167464211 hasConceptScore W2167464211C6683253 @default.
• W2167464211 hasConceptScore W2167464211C90509273 @default.
• W2167464211 hasConceptScore W2167464211C98045186 @default.
• W2167464211 hasFunder F4320321001 @default.
• W2167464211 hasLocation W21674642111 @default.
• W2167464211 hasOpenAccess W2167464211 @default.
• W2167464211 hasPrimaryLocation W21674642111 @default.
• W2167464211 hasRelatedWork W1599850434 @default.
• W2167464211 hasRelatedWork W2061011378 @default.
• W2167464211 hasRelatedWork W2116691322 @default.
• W2167464211 hasRelatedWork W2131257292 @default.
• W2167464211 hasRelatedWork W2138415189 @default.
• W2167464211 hasRelatedWork W2374418825 @default.
• W2167464211 hasRelatedWork W2584453072 @default.
• W2167464211 hasRelatedWork W3047053826 @default.
• W2167464211 hasRelatedWork W3151316732 @default.
• W2167464211 hasRelatedWork W972312834 @default.
• W2167464211 hasVolume "2015" @default.

• next