FRINK Linked Data Fragments server

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

• W2950878895 endingPage "8074" @default.
• W2950878895 startingPage "8066" @default.
• W2950878895 abstract "Robots are increasingly used to carry out critical missions in extreme environments that are hazardous for humans. This requires a high degree of operational autonomy under uncertain conditions, and poses new challenges for assuring the robot's safety and reliability. In this paper, we develop a framework for probabilistic model checking on a layered Markov model to verify the safety and reliability requirements of such robots, both at pre-mission stage and during runtime. Two novel estimators based on conservative Bayesian inference and imprecise probability model with sets of priors are introduced to learn the unknown transition parameters from operational data. We demonstrate our approach using data from a real-world deployment of unmanned underwater vehicles in extreme environments." @default.
• W2950878895 created "2019-06-27" @default.
• W2950878895 creator A5001487424 @default.
• W2950878895 creator A5015145767 @default.
• W2950878895 creator A5032160199 @default.
• W2950878895 creator A5052097132 @default.
• W2950878895 creator A5058762497 @default.
• W2950878895 creator A5090309356 @default.
• W2950878895 date "2019-07-17" @default.
• W2950878895 modified "2023-09-25" @default.
• W2950878895 title "Probabilistic Model Checking of Robots Deployed in Extreme Environments" @default.
• W2950878895 cites W1600556058 @default.
• W2950878895 cites W1862398452 @default.
• W2950878895 cites W1880436303 @default.
• W2950878895 cites W1974641445 @default.
• W2950878895 cites W1993466996 @default.
• W2950878895 cites W1998284497 @default.
• W2950878895 cites W2002956917 @default.
• W2950878895 cites W2011274429 @default.
• W2950878895 cites W2020455387 @default.
• W2950878895 cites W2028622255 @default.
• W2950878895 cites W2031523887 @default.
• W2950878895 cites W2038710499 @default.
• W2950878895 cites W2075465263 @default.
• W2950878895 cites W2111765806 @default.
• W2950878895 cites W2116769849 @default.
• W2950878895 cites W2119567691 @default.
• W2950878895 cites W2133859873 @default.
• W2950878895 cites W2146044140 @default.
• W2950878895 cites W2147247028 @default.
• W2950878895 cites W2158679941 @default.
• W2950878895 cites W2214567334 @default.
• W2950878895 cites W2252290497 @default.
• W2950878895 cites W2291637985 @default.
• W2950878895 cites W2499003444 @default.
• W2950878895 cites W2525000757 @default.
• W2950878895 cites W2594789366 @default.
• W2950878895 cites W2606679783 @default.
• W2950878895 cites W2687657776 @default.
• W2950878895 cites W2744647809 @default.
• W2950878895 cites W2784272162 @default.
• W2950878895 cites W2811472820 @default.
• W2950878895 cites W2900708663 @default.
• W2950878895 cites W2963979817 @default.
• W2950878895 cites W3101648496 @default.
• W2950878895 cites W3106244189 @default.
• W2950878895 doi "https://doi.org/10.1609/aaai.v33i01.33018066" @default.
• W2950878895 hasPublicationYear "2019" @default.
• W2950878895 type Work @default.
• W2950878895 sameAs 2950878895 @default.
• W2950878895 citedByCount "17" @default.
• W2950878895 countsByYear W29508788952019 @default.
• W2950878895 countsByYear W29508788952020 @default.
• W2950878895 countsByYear W29508788952021 @default.
• W2950878895 countsByYear W29508788952022 @default.
• W2950878895 countsByYear W29508788952023 @default.
• W2950878895 crossrefType "journal-article" @default.
• W2950878895 hasAuthorship W2950878895A5001487424 @default.
• W2950878895 hasAuthorship W2950878895A5015145767 @default.
• W2950878895 hasAuthorship W2950878895A5032160199 @default.
• W2950878895 hasAuthorship W2950878895A5052097132 @default.
• W2950878895 hasAuthorship W2950878895A5058762497 @default.
• W2950878895 hasAuthorship W2950878895A5090309356 @default.
• W2950878895 hasBestOaLocation W29508788951 @default.
• W2950878895 hasConcept C105339364 @default.
• W2950878895 hasConcept C105795698 @default.
• W2950878895 hasConcept C106189395 @default.
• W2950878895 hasConcept C107673813 @default.
• W2950878895 hasConcept C111919701 @default.
• W2950878895 hasConcept C121332964 @default.
• W2950878895 hasConcept C154945302 @default.
• W2950878895 hasConcept C159886148 @default.
• W2950878895 hasConcept C163258240 @default.
• W2950878895 hasConcept C185429906 @default.
• W2950878895 hasConcept C2776214188 @default.
• W2950878895 hasConcept C33923547 @default.
• W2950878895 hasConcept C41008148 @default.
• W2950878895 hasConcept C43214815 @default.
• W2950878895 hasConcept C49937458 @default.
• W2950878895 hasConcept C62520636 @default.
• W2950878895 hasConcept C90509273 @default.
• W2950878895 hasConceptScore W2950878895C105339364 @default.
• W2950878895 hasConceptScore W2950878895C105795698 @default.
• W2950878895 hasConceptScore W2950878895C106189395 @default.
• W2950878895 hasConceptScore W2950878895C107673813 @default.
• W2950878895 hasConceptScore W2950878895C111919701 @default.
• W2950878895 hasConceptScore W2950878895C121332964 @default.
• W2950878895 hasConceptScore W2950878895C154945302 @default.
• W2950878895 hasConceptScore W2950878895C159886148 @default.
• W2950878895 hasConceptScore W2950878895C163258240 @default.
• W2950878895 hasConceptScore W2950878895C185429906 @default.
• W2950878895 hasConceptScore W2950878895C2776214188 @default.
• W2950878895 hasConceptScore W2950878895C33923547 @default.
• W2950878895 hasConceptScore W2950878895C41008148 @default.
• W2950878895 hasConceptScore W2950878895C43214815 @default.
• W2950878895 hasConceptScore W2950878895C49937458 @default.
• W2950878895 hasConceptScore W2950878895C62520636 @default.
• W2950878895 hasConceptScore W2950878895C90509273 @default.

• next