Matches in SemOpenAlex for { <https://semopenalex.org/work/W1505483226> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1505483226 endingPage "108" @default.
- W1505483226 startingPage "97" @default.
- W1505483226 abstract "Robotic assistants are being designed to help, or work with, humans in a variety of situations from assistance within domestic situations, through medical care, to industrial settings. Whilst robots have been used in industry for some time they are often limited in terms of their range of movement or range of tasks. A new generation of robotic assistants have more freedom to move, and are able to autonomously make decisions and decide between alternatives. For people to adopt such robots they will have to be shown to be both safe and trustworthy. In this paper we focus on formal verification of a set of rules that have been developed to control the Care-O-bot, a robotic assistant located in a typical domestic environment. In particular, we apply model-checking, an automated and exhaustive algorithmic technique, to check whether formal temporal properties are satisfied on all the possible behaviours of the system. We prove a number of properties relating to robot behaviours, their priority and interruptibility, helping to support both safety and trustworthiness of robot behaviours." @default.
- W1505483226 created "2016-06-24" @default.
- W1505483226 creator A5001487424 @default.
- W1505483226 creator A5006875352 @default.
- W1505483226 creator A5013515770 @default.
- W1505483226 creator A5058762497 @default.
- W1505483226 creator A5059371010 @default.
- W1505483226 date "2014-01-01" @default.
- W1505483226 modified "2023-10-16" @default.
- W1505483226 title "“The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours" @default.
- W1505483226 cites W1489391022 @default.
- W1505483226 cites W1491352352 @default.
- W1505483226 cites W149150363 @default.
- W1505483226 cites W1560094997 @default.
- W1505483226 cites W182308727 @default.
- W1505483226 cites W197042430 @default.
- W1505483226 cites W2108486695 @default.
- W1505483226 cites W2126712062 @default.
- W1505483226 cites W2128319160 @default.
- W1505483226 cites W2155985201 @default.
- W1505483226 doi "https://doi.org/10.1007/978-3-319-10401-0_9" @default.
- W1505483226 hasPublicationYear "2014" @default.
- W1505483226 type Work @default.
- W1505483226 sameAs 1505483226 @default.
- W1505483226 citedByCount "17" @default.
- W1505483226 countsByYear W15054832262015 @default.
- W1505483226 countsByYear W15054832262017 @default.
- W1505483226 countsByYear W15054832262018 @default.
- W1505483226 countsByYear W15054832262019 @default.
- W1505483226 countsByYear W15054832262020 @default.
- W1505483226 countsByYear W15054832262021 @default.
- W1505483226 countsByYear W15054832262022 @default.
- W1505483226 countsByYear W15054832262023 @default.
- W1505483226 crossrefType "book-chapter" @default.
- W1505483226 hasAuthorship W1505483226A5001487424 @default.
- W1505483226 hasAuthorship W1505483226A5006875352 @default.
- W1505483226 hasAuthorship W1505483226A5013515770 @default.
- W1505483226 hasAuthorship W1505483226A5058762497 @default.
- W1505483226 hasAuthorship W1505483226A5059371010 @default.
- W1505483226 hasBestOaLocation W15054832262 @default.
- W1505483226 hasConcept C107457646 @default.
- W1505483226 hasConcept C110251889 @default.
- W1505483226 hasConcept C111498074 @default.
- W1505483226 hasConcept C120665830 @default.
- W1505483226 hasConcept C121332964 @default.
- W1505483226 hasConcept C136197465 @default.
- W1505483226 hasConcept C153701036 @default.
- W1505483226 hasConcept C154945302 @default.
- W1505483226 hasConcept C177264268 @default.
- W1505483226 hasConcept C192209626 @default.
- W1505483226 hasConcept C199360897 @default.
- W1505483226 hasConcept C38652104 @default.
- W1505483226 hasConcept C41008148 @default.
- W1505483226 hasConcept C90509273 @default.
- W1505483226 hasConceptScore W1505483226C107457646 @default.
- W1505483226 hasConceptScore W1505483226C110251889 @default.
- W1505483226 hasConceptScore W1505483226C111498074 @default.
- W1505483226 hasConceptScore W1505483226C120665830 @default.
- W1505483226 hasConceptScore W1505483226C121332964 @default.
- W1505483226 hasConceptScore W1505483226C136197465 @default.
- W1505483226 hasConceptScore W1505483226C153701036 @default.
- W1505483226 hasConceptScore W1505483226C154945302 @default.
- W1505483226 hasConceptScore W1505483226C177264268 @default.
- W1505483226 hasConceptScore W1505483226C192209626 @default.
- W1505483226 hasConceptScore W1505483226C199360897 @default.
- W1505483226 hasConceptScore W1505483226C38652104 @default.
- W1505483226 hasConceptScore W1505483226C41008148 @default.
- W1505483226 hasConceptScore W1505483226C90509273 @default.
- W1505483226 hasLocation W15054832261 @default.
- W1505483226 hasLocation W15054832262 @default.
- W1505483226 hasOpenAccess W1505483226 @default.
- W1505483226 hasPrimaryLocation W15054832261 @default.
- W1505483226 hasRelatedWork W1497489765 @default.
- W1505483226 hasRelatedWork W178421615 @default.
- W1505483226 hasRelatedWork W2370841479 @default.
- W1505483226 hasRelatedWork W2988576575 @default.
- W1505483226 hasRelatedWork W3099427952 @default.
- W1505483226 hasRelatedWork W3195416188 @default.
- W1505483226 hasRelatedWork W3205824709 @default.
- W1505483226 hasRelatedWork W4200394088 @default.
- W1505483226 hasRelatedWork W4244953870 @default.
- W1505483226 hasRelatedWork W4323870500 @default.
- W1505483226 isParatext "false" @default.
- W1505483226 isRetracted "false" @default.
- W1505483226 magId "1505483226" @default.
- W1505483226 workType "book-chapter" @default.