FRINK Linked Data Fragments server

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

• W2101137697 abstract "The management of finite resources is central to many robot behaviors. Some robotic systems must maintain invariants regarding the disposition of feet for balancing, others have grippers for manipulating their environments, while yet others must respect strict rules governing the usage of objects in the environment. Yet the specifics of such resource management responsibilities are almost universally locked behind opaque controllers whose lack of type information greatly impedes rigorous static analysis. We present an application of dependent type theory and linear logic for the static analysis of robot behavior programs that manage both robot and environment state, with a worked assembly task example. This approach offers static, formal guarantees with respect to safety requirements attached to primitive actions, as well as introspection of expected state at each step of a scripted sequence of actions allowing for the automatic generation of dynamic, sensor-based, runtime verification of successful execution." @default.
• W2101137697 created "2016-06-24" @default.
• W2101137697 creator A5010434803 @default.
• W2101137697 creator A5036660535 @default.
• W2101137697 date "2011-09-01" @default.
• W2101137697 modified "2023-09-24" @default.
• W2101137697 title "Towards language-based verification of robot behaviors" @default.
• W2101137697 cites W1488462636 @default.
• W2101137697 cites W1508641834 @default.
• W2101137697 cites W1986402635 @default.
• W2101137697 cites W2018380024 @default.
• W2101137697 cites W2046679093 @default.
• W2101137697 cites W2101128991 @default.
• W2101137697 cites W2115414717 @default.
• W2101137697 cites W2116508343 @default.
• W2101137697 cites W2121161036 @default.
• W2101137697 cites W2124623089 @default.
• W2101137697 cites W2151958719 @default.
• W2101137697 cites W2156486793 @default.
• W2101137697 cites W2159339668 @default.
• W2101137697 cites W2398510500 @default.
• W2101137697 cites W2402296188 @default.
• W2101137697 cites W2911865844 @default.
• W2101137697 cites W2912106379 @default.
• W2101137697 cites W759827355 @default.
• W2101137697 doi "https://doi.org/10.1109/iros.2011.6095028" @default.
• W2101137697 hasPublicationYear "2011" @default.
• W2101137697 type Work @default.
• W2101137697 sameAs 2101137697 @default.
• W2101137697 citedByCount "12" @default.
• W2101137697 countsByYear W21011376972015 @default.
• W2101137697 countsByYear W21011376972016 @default.
• W2101137697 countsByYear W21011376972017 @default.
• W2101137697 countsByYear W21011376972018 @default.
• W2101137697 countsByYear W21011376972020 @default.
• W2101137697 crossrefType "proceedings-article" @default.
• W2101137697 hasAuthorship W2101137697A5010434803 @default.
• W2101137697 hasAuthorship W2101137697A5036660535 @default.
• W2101137697 hasBestOaLocation W21011376972 @default.
• W2101137697 hasConcept C107457646 @default.
• W2101137697 hasConcept C120314980 @default.
• W2101137697 hasConcept C127413603 @default.
• W2101137697 hasConcept C154945302 @default.
• W2101137697 hasConcept C167822520 @default.
• W2101137697 hasConcept C199360897 @default.
• W2101137697 hasConcept C201995342 @default.
• W2101137697 hasConcept C206345919 @default.
• W2101137697 hasConcept C2775960376 @default.
• W2101137697 hasConcept C2780451532 @default.
• W2101137697 hasConcept C31258907 @default.
• W2101137697 hasConcept C41008148 @default.
• W2101137697 hasConcept C4777664 @default.
• W2101137697 hasConcept C48103436 @default.
• W2101137697 hasConcept C78519656 @default.
• W2101137697 hasConcept C90509273 @default.
• W2101137697 hasConcept C97686452 @default.
• W2101137697 hasConceptScore W2101137697C107457646 @default.
• W2101137697 hasConceptScore W2101137697C120314980 @default.
• W2101137697 hasConceptScore W2101137697C127413603 @default.
• W2101137697 hasConceptScore W2101137697C154945302 @default.
• W2101137697 hasConceptScore W2101137697C167822520 @default.
• W2101137697 hasConceptScore W2101137697C199360897 @default.
• W2101137697 hasConceptScore W2101137697C201995342 @default.
• W2101137697 hasConceptScore W2101137697C206345919 @default.
• W2101137697 hasConceptScore W2101137697C2775960376 @default.
• W2101137697 hasConceptScore W2101137697C2780451532 @default.
• W2101137697 hasConceptScore W2101137697C31258907 @default.
• W2101137697 hasConceptScore W2101137697C41008148 @default.
• W2101137697 hasConceptScore W2101137697C4777664 @default.
• W2101137697 hasConceptScore W2101137697C48103436 @default.
• W2101137697 hasConceptScore W2101137697C78519656 @default.
• W2101137697 hasConceptScore W2101137697C90509273 @default.
• W2101137697 hasConceptScore W2101137697C97686452 @default.
• W2101137697 hasLocation W21011376971 @default.
• W2101137697 hasLocation W21011376972 @default.
• W2101137697 hasOpenAccess W2101137697 @default.
• W2101137697 hasPrimaryLocation W21011376971 @default.
• W2101137697 hasRelatedWork W1504361629 @default.
• W2101137697 hasRelatedWork W181322436 @default.
• W2101137697 hasRelatedWork W1975098437 @default.
• W2101137697 hasRelatedWork W197840164 @default.
• W2101137697 hasRelatedWork W2022850652 @default.
• W2101137697 hasRelatedWork W2026989192 @default.
• W2101137697 hasRelatedWork W2060238140 @default.
• W2101137697 hasRelatedWork W2113388479 @default.
• W2101137697 hasRelatedWork W2151492375 @default.
• W2101137697 hasRelatedWork W2161929123 @default.
• W2101137697 hasRelatedWork W2221866689 @default.
• W2101137697 hasRelatedWork W2265120638 @default.
• W2101137697 hasRelatedWork W2482552316 @default.
• W2101137697 hasRelatedWork W2533050553 @default.
• W2101137697 hasRelatedWork W2775582993 @default.
• W2101137697 hasRelatedWork W2796311951 @default.
• W2101137697 hasRelatedWork W2805911780 @default.
• W2101137697 hasRelatedWork W2901891836 @default.
• W2101137697 hasRelatedWork W344224538 @default.
• W2101137697 hasRelatedWork W421008573 @default.
• W2101137697 isParatext "false" @default.
• W2101137697 isRetracted "false" @default.
• W2101137697 magId "2101137697" @default.

• next