Matches in SemOpenAlex for { <https://semopenalex.org/work/W957966530> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W957966530 endingPage "540" @default.
- W957966530 startingPage "531" @default.
- W957966530 abstract "Model checking is a technique to perform a formal verification process that allows a system to have robustness and correctness. In a given system model as a Finite State Machine (FSM), model checker explores all possible states in brute-force manner. In this paper, we apply this technique to a training system, which teaches a humanoid soccer robot how to intercept a ball that is passed from other players, to verify that the system is failure-safe in a given requirements. Several Computation Tree Logic (CTL) properties to define a critical or potential situation are specified based on the functionality of the system. We show the results of the given properties using NuSMV, a symbolic model checker introduced by Carnegie Mellon University." @default.
- W957966530 created "2016-06-24" @default.
- W957966530 creator A5000182060 @default.
- W957966530 creator A5033151632 @default.
- W957966530 creator A5052746978 @default.
- W957966530 creator A5063322128 @default.
- W957966530 date "2015-01-01" @default.
- W957966530 modified "2023-10-15" @default.
- W957966530 title "Model Checking of a Training System Using NuSMV for Humanoid Robot Soccer" @default.
- W957966530 cites W1489391022 @default.
- W957966530 cites W1534714322 @default.
- W957966530 cites W1579722628 @default.
- W957966530 cites W1859458367 @default.
- W957966530 cites W1992105245 @default.
- W957966530 cites W2002956917 @default.
- W957966530 cites W2106419991 @default.
- W957966530 cites W2171480813 @default.
- W957966530 cites W2276481971 @default.
- W957966530 cites W99008288 @default.
- W957966530 doi "https://doi.org/10.1007/978-3-319-16841-8_48" @default.
- W957966530 hasPublicationYear "2015" @default.
- W957966530 type Work @default.
- W957966530 sameAs 957966530 @default.
- W957966530 citedByCount "1" @default.
- W957966530 countsByYear W9579665302016 @default.
- W957966530 crossrefType "book-chapter" @default.
- W957966530 hasAuthorship W957966530A5000182060 @default.
- W957966530 hasAuthorship W957966530A5033151632 @default.
- W957966530 hasAuthorship W957966530A5052746978 @default.
- W957966530 hasAuthorship W957966530A5063322128 @default.
- W957966530 hasConcept C104317684 @default.
- W957966530 hasConcept C110251889 @default.
- W957966530 hasConcept C111498074 @default.
- W957966530 hasConcept C154945302 @default.
- W957966530 hasConcept C167822520 @default.
- W957966530 hasConcept C185592680 @default.
- W957966530 hasConcept C198008173 @default.
- W957966530 hasConcept C199360897 @default.
- W957966530 hasConcept C41008148 @default.
- W957966530 hasConcept C55439883 @default.
- W957966530 hasConcept C55493867 @default.
- W957966530 hasConcept C63479239 @default.
- W957966530 hasConcept C90509273 @default.
- W957966530 hasConceptScore W957966530C104317684 @default.
- W957966530 hasConceptScore W957966530C110251889 @default.
- W957966530 hasConceptScore W957966530C111498074 @default.
- W957966530 hasConceptScore W957966530C154945302 @default.
- W957966530 hasConceptScore W957966530C167822520 @default.
- W957966530 hasConceptScore W957966530C185592680 @default.
- W957966530 hasConceptScore W957966530C198008173 @default.
- W957966530 hasConceptScore W957966530C199360897 @default.
- W957966530 hasConceptScore W957966530C41008148 @default.
- W957966530 hasConceptScore W957966530C55439883 @default.
- W957966530 hasConceptScore W957966530C55493867 @default.
- W957966530 hasConceptScore W957966530C63479239 @default.
- W957966530 hasConceptScore W957966530C90509273 @default.
- W957966530 hasLocation W9579665301 @default.
- W957966530 hasOpenAccess W957966530 @default.
- W957966530 hasPrimaryLocation W9579665301 @default.
- W957966530 hasRelatedWork W1515452107 @default.
- W957966530 hasRelatedWork W1985198438 @default.
- W957966530 hasRelatedWork W1987761485 @default.
- W957966530 hasRelatedWork W2087097901 @default.
- W957966530 hasRelatedWork W2095002986 @default.
- W957966530 hasRelatedWork W2126058650 @default.
- W957966530 hasRelatedWork W2279655839 @default.
- W957966530 hasRelatedWork W2373555819 @default.
- W957966530 hasRelatedWork W2741430969 @default.
- W957966530 hasRelatedWork W2963209892 @default.
- W957966530 isParatext "false" @default.
- W957966530 isRetracted "false" @default.
- W957966530 magId "957966530" @default.
- W957966530 workType "book-chapter" @default.