Matches in SemOpenAlex for { <https://semopenalex.org/work/W1653494080> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1653494080 abstract "Reliability of embedded systems has become important along with their popularization in many fields. Model checking is one of formal methods which has been successfully applied to many systems for ensuring reliabilities. In this study, we handle an autonomous robot vehicle in consideration of errors and disturbances, as an concrete example of embedded systems. Behaviors of the vehicle become essentially probabilistic in such an environment. We show that such probabilistic behaviors can be modeled in Markov Decision Processes (MDPs). To demonstrate the applicability of the modeling, we show experimental verification using the probabilistic model checker PRISM. Note that the approaches are still in preliminary stages. It is intended to establish qualitative and quantitative validations from the standpoint of design phase." @default.
- W1653494080 created "2016-06-24" @default.
- W1653494080 creator A5016811711 @default.
- W1653494080 creator A5042183375 @default.
- W1653494080 creator A5059164271 @default.
- W1653494080 creator A5086059037 @default.
- W1653494080 date "2015-07-01" @default.
- W1653494080 modified "2023-09-25" @default.
- W1653494080 title "Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances" @default.
- W1653494080 cites W1862398452 @default.
- W1653494080 cites W1878636045 @default.
- W1653494080 cites W1967294943 @default.
- W1653494080 cites W2002956917 @default.
- W1653494080 cites W2005998857 @default.
- W1653494080 cites W2009280542 @default.
- W1653494080 cites W2088356556 @default.
- W1653494080 cites W2104073228 @default.
- W1653494080 cites W2147340401 @default.
- W1653494080 cites W2336416123 @default.
- W1653494080 cites W2913459036 @default.
- W1653494080 doi "https://doi.org/10.1109/compsac.2015.268" @default.
- W1653494080 hasPublicationYear "2015" @default.
- W1653494080 type Work @default.
- W1653494080 sameAs 1653494080 @default.
- W1653494080 citedByCount "3" @default.
- W1653494080 countsByYear W16534940802018 @default.
- W1653494080 countsByYear W16534940802019 @default.
- W1653494080 countsByYear W16534940802020 @default.
- W1653494080 crossrefType "proceedings-article" @default.
- W1653494080 hasAuthorship W1653494080A5016811711 @default.
- W1653494080 hasAuthorship W1653494080A5042183375 @default.
- W1653494080 hasAuthorship W1653494080A5059164271 @default.
- W1653494080 hasAuthorship W1653494080A5086059037 @default.
- W1653494080 hasConcept C105795698 @default.
- W1653494080 hasConcept C106189395 @default.
- W1653494080 hasConcept C110251889 @default.
- W1653494080 hasConcept C111498074 @default.
- W1653494080 hasConcept C11413529 @default.
- W1653494080 hasConcept C119857082 @default.
- W1653494080 hasConcept C121332964 @default.
- W1653494080 hasConcept C127413603 @default.
- W1653494080 hasConcept C133731056 @default.
- W1653494080 hasConcept C154945302 @default.
- W1653494080 hasConcept C159886148 @default.
- W1653494080 hasConcept C163258240 @default.
- W1653494080 hasConcept C33923547 @default.
- W1653494080 hasConcept C41008148 @default.
- W1653494080 hasConcept C43214815 @default.
- W1653494080 hasConcept C44154836 @default.
- W1653494080 hasConcept C49937458 @default.
- W1653494080 hasConcept C62520636 @default.
- W1653494080 hasConcept C90509273 @default.
- W1653494080 hasConcept C98763669 @default.
- W1653494080 hasConceptScore W1653494080C105795698 @default.
- W1653494080 hasConceptScore W1653494080C106189395 @default.
- W1653494080 hasConceptScore W1653494080C110251889 @default.
- W1653494080 hasConceptScore W1653494080C111498074 @default.
- W1653494080 hasConceptScore W1653494080C11413529 @default.
- W1653494080 hasConceptScore W1653494080C119857082 @default.
- W1653494080 hasConceptScore W1653494080C121332964 @default.
- W1653494080 hasConceptScore W1653494080C127413603 @default.
- W1653494080 hasConceptScore W1653494080C133731056 @default.
- W1653494080 hasConceptScore W1653494080C154945302 @default.
- W1653494080 hasConceptScore W1653494080C159886148 @default.
- W1653494080 hasConceptScore W1653494080C163258240 @default.
- W1653494080 hasConceptScore W1653494080C33923547 @default.
- W1653494080 hasConceptScore W1653494080C41008148 @default.
- W1653494080 hasConceptScore W1653494080C43214815 @default.
- W1653494080 hasConceptScore W1653494080C44154836 @default.
- W1653494080 hasConceptScore W1653494080C49937458 @default.
- W1653494080 hasConceptScore W1653494080C62520636 @default.
- W1653494080 hasConceptScore W1653494080C90509273 @default.
- W1653494080 hasConceptScore W1653494080C98763669 @default.
- W1653494080 hasLocation W16534940801 @default.
- W1653494080 hasOpenAccess W1653494080 @default.
- W1653494080 hasPrimaryLocation W16534940801 @default.
- W1653494080 hasRelatedWork W1497573972 @default.
- W1653494080 hasRelatedWork W1511524986 @default.
- W1653494080 hasRelatedWork W1538600200 @default.
- W1653494080 hasRelatedWork W1762969849 @default.
- W1653494080 hasRelatedWork W1770096697 @default.
- W1653494080 hasRelatedWork W1987073190 @default.
- W1653494080 hasRelatedWork W2041509965 @default.
- W1653494080 hasRelatedWork W2048710626 @default.
- W1653494080 hasRelatedWork W2544192463 @default.
- W1653494080 hasRelatedWork W2112543260 @default.
- W1653494080 isParatext "false" @default.
- W1653494080 isRetracted "false" @default.
- W1653494080 magId "1653494080" @default.
- W1653494080 workType "article" @default.