Matches in SemOpenAlex for { <https://semopenalex.org/work/W4383172012> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4383172012 abstract "This work presents a novel approach for the online supervision of robotic systems assembled from multiple complex components with skillset-based architectures, using Petri nets (PN). Predictive runtime verification is performed, which warns the system user about actions that would lead to the violation of safety specifications, using online model-checking tools on the system PNs." @default.
- W4383172012 created "2023-07-05" @default.
- W4383172012 creator A5016688301 @default.
- W4383172012 creator A5034761462 @default.
- W4383172012 creator A5076697582 @default.
- W4383172012 creator A5079979990 @default.
- W4383172012 creator A5081060788 @default.
- W4383172012 date "2023-05-29" @default.
- W4383172012 modified "2023-10-16" @default.
- W4383172012 title "Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets" @default.
- W4383172012 cites W2044892885 @default.
- W4383172012 cites W2059057465 @default.
- W4383172012 cites W2070996046 @default.
- W4383172012 cites W2101528689 @default.
- W4383172012 cites W2112963513 @default.
- W4383172012 cites W2121750060 @default.
- W4383172012 cites W2135610780 @default.
- W4383172012 cites W2149522920 @default.
- W4383172012 cites W2150891638 @default.
- W4383172012 cites W2151008975 @default.
- W4383172012 cites W2158736635 @default.
- W4383172012 cites W2160376434 @default.
- W4383172012 cites W2466342376 @default.
- W4383172012 cites W2611426083 @default.
- W4383172012 cites W2731600756 @default.
- W4383172012 cites W2752666516 @default.
- W4383172012 cites W2919101414 @default.
- W4383172012 cites W2945743027 @default.
- W4383172012 cites W2969749685 @default.
- W4383172012 cites W2973769628 @default.
- W4383172012 cites W3088586141 @default.
- W4383172012 cites W3122171607 @default.
- W4383172012 cites W3176282810 @default.
- W4383172012 cites W3179619441 @default.
- W4383172012 cites W3216823696 @default.
- W4383172012 cites W4280571816 @default.
- W4383172012 cites W4297094086 @default.
- W4383172012 cites W64030814 @default.
- W4383172012 cites W93306303 @default.
- W4383172012 doi "https://doi.org/10.1109/icra48891.2023.10160434" @default.
- W4383172012 hasPublicationYear "2023" @default.
- W4383172012 type Work @default.
- W4383172012 citedByCount "0" @default.
- W4383172012 crossrefType "proceedings-article" @default.
- W4383172012 hasAuthorship W4383172012A5016688301 @default.
- W4383172012 hasAuthorship W4383172012A5034761462 @default.
- W4383172012 hasAuthorship W4383172012A5076697582 @default.
- W4383172012 hasAuthorship W4383172012A5079979990 @default.
- W4383172012 hasAuthorship W4383172012A5081060788 @default.
- W4383172012 hasConcept C110251889 @default.
- W4383172012 hasConcept C111498074 @default.
- W4383172012 hasConcept C115903868 @default.
- W4383172012 hasConcept C120314980 @default.
- W4383172012 hasConcept C149635348 @default.
- W4383172012 hasConcept C199360897 @default.
- W4383172012 hasConcept C202973057 @default.
- W4383172012 hasConcept C38677869 @default.
- W4383172012 hasConcept C41008148 @default.
- W4383172012 hasConceptScore W4383172012C110251889 @default.
- W4383172012 hasConceptScore W4383172012C111498074 @default.
- W4383172012 hasConceptScore W4383172012C115903868 @default.
- W4383172012 hasConceptScore W4383172012C120314980 @default.
- W4383172012 hasConceptScore W4383172012C149635348 @default.
- W4383172012 hasConceptScore W4383172012C199360897 @default.
- W4383172012 hasConceptScore W4383172012C202973057 @default.
- W4383172012 hasConceptScore W4383172012C38677869 @default.
- W4383172012 hasConceptScore W4383172012C41008148 @default.
- W4383172012 hasLocation W43831720121 @default.
- W4383172012 hasOpenAccess W4383172012 @default.
- W4383172012 hasPrimaryLocation W43831720121 @default.
- W4383172012 hasRelatedWork W2086810569 @default.
- W4383172012 hasRelatedWork W2152598143 @default.
- W4383172012 hasRelatedWork W2366716870 @default.
- W4383172012 hasRelatedWork W2397718983 @default.
- W4383172012 hasRelatedWork W2805770361 @default.
- W4383172012 hasRelatedWork W2999141054 @default.
- W4383172012 hasRelatedWork W3197056760 @default.
- W4383172012 hasRelatedWork W4249314650 @default.
- W4383172012 hasRelatedWork W4383172012 @default.
- W4383172012 hasRelatedWork W47563837 @default.
- W4383172012 isParatext "false" @default.
- W4383172012 isRetracted "false" @default.
- W4383172012 workType "article" @default.