Matches in SemOpenAlex for { <https://semopenalex.org/work/W752198510> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W752198510 abstract "The formal analysis of computational processes is by now a well-established field. However, in practical scenarios, the problem of how we can formally verify interactions with humans still remains. This thesis is concerned with addressing this problem through the use of the Brahms language. Our overall goal is to provide formal verification techniques for human-agent teamwork, particularly astronaut-robot teamwork on future space missions and human-robot interactions in health-care scenarios modelled in Brahms." @default.
- W752198510 created "2016-06-24" @default.
- W752198510 creator A5027220123 @default.
- W752198510 date "2013-06-01" @default.
- W752198510 modified "2023-09-23" @default.
- W752198510 title "Towards the formal verification of human-agent-robot teamwork" @default.
- W752198510 hasPublicationYear "2013" @default.
- W752198510 type Work @default.
- W752198510 sameAs 752198510 @default.
- W752198510 citedByCount "0" @default.
- W752198510 crossrefType "dissertation" @default.
- W752198510 hasAuthorship W752198510A5027220123 @default.
- W752198510 hasConcept C107457646 @default.
- W752198510 hasConcept C111226992 @default.
- W752198510 hasConcept C111498074 @default.
- W752198510 hasConcept C115903868 @default.
- W752198510 hasConcept C127413603 @default.
- W752198510 hasConcept C145460709 @default.
- W752198510 hasConcept C154945302 @default.
- W752198510 hasConcept C162324750 @default.
- W752198510 hasConcept C187736073 @default.
- W752198510 hasConcept C199360897 @default.
- W752198510 hasConcept C201995342 @default.
- W752198510 hasConcept C202444582 @default.
- W752198510 hasConcept C33923547 @default.
- W752198510 hasConcept C41008148 @default.
- W752198510 hasConcept C539667460 @default.
- W752198510 hasConcept C75606506 @default.
- W752198510 hasConcept C90509273 @default.
- W752198510 hasConcept C9652623 @default.
- W752198510 hasConceptScore W752198510C107457646 @default.
- W752198510 hasConceptScore W752198510C111226992 @default.
- W752198510 hasConceptScore W752198510C111498074 @default.
- W752198510 hasConceptScore W752198510C115903868 @default.
- W752198510 hasConceptScore W752198510C127413603 @default.
- W752198510 hasConceptScore W752198510C145460709 @default.
- W752198510 hasConceptScore W752198510C154945302 @default.
- W752198510 hasConceptScore W752198510C162324750 @default.
- W752198510 hasConceptScore W752198510C187736073 @default.
- W752198510 hasConceptScore W752198510C199360897 @default.
- W752198510 hasConceptScore W752198510C201995342 @default.
- W752198510 hasConceptScore W752198510C202444582 @default.
- W752198510 hasConceptScore W752198510C33923547 @default.
- W752198510 hasConceptScore W752198510C41008148 @default.
- W752198510 hasConceptScore W752198510C539667460 @default.
- W752198510 hasConceptScore W752198510C75606506 @default.
- W752198510 hasConceptScore W752198510C90509273 @default.
- W752198510 hasConceptScore W752198510C9652623 @default.
- W752198510 hasLocation W7521985101 @default.
- W752198510 hasOpenAccess W752198510 @default.
- W752198510 hasPrimaryLocation W7521985101 @default.
- W752198510 hasRelatedWork W1517265999 @default.
- W752198510 hasRelatedWork W153950521 @default.
- W752198510 hasRelatedWork W1828299600 @default.
- W752198510 hasRelatedWork W1976557038 @default.
- W752198510 hasRelatedWork W2017956712 @default.
- W752198510 hasRelatedWork W2022121396 @default.
- W752198510 hasRelatedWork W2051290524 @default.
- W752198510 hasRelatedWork W2081380714 @default.
- W752198510 hasRelatedWork W2082073274 @default.
- W752198510 hasRelatedWork W2112178016 @default.
- W752198510 hasRelatedWork W2132815515 @default.
- W752198510 hasRelatedWork W2169824509 @default.
- W752198510 hasRelatedWork W2180911853 @default.
- W752198510 hasRelatedWork W2322465199 @default.
- W752198510 hasRelatedWork W2583595626 @default.
- W752198510 hasRelatedWork W2950312422 @default.
- W752198510 hasRelatedWork W2990750410 @default.
- W752198510 hasRelatedWork W3014778408 @default.
- W752198510 hasRelatedWork W57881656 @default.
- W752198510 hasRelatedWork W2256087361 @default.
- W752198510 isParatext "false" @default.
- W752198510 isRetracted "false" @default.
- W752198510 magId "752198510" @default.
- W752198510 workType "dissertation" @default.