FRINK Linked Data Fragments server

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

• W4318966672 abstract "As robots become a common presence in our everyday lives, ensuring the security and safety of robotic systems becomes an increasingly important and urgent challenge. Multi-robot systems, in particular, have the potential to revolutionize multiple industries---such as transportation and home care---where safety guarantees are a primary requirement. A known challenge for swarms and multi-robot systems is the gap between requirements and design, due to the need to translate swarm-level objectives into robot-level behaviors. In this paper, we focus on a less studied problem---the gap between requirements and implementation. As a case study, we use Buzz, that is a dynamic programming language designed for swarm robotics applications. Similarly to Python, Lua, and JavaScript, Buzz does not natively offer formal guarantees of correctness or safety. We propose an approach to automatically extract as-implemented models from Buzz programs, whose properties can then be formally analyzed and verified. Results obtained from the experiments performed on two medium-size open-source production-level systems for robotics research have also been reported. Our results show that the approach is feasible and is scalable to larger systems." @default.
• W4318966672 created "2023-02-03" @default.
• W4318966672 creator A5021953451 @default.
• W4318966672 creator A5034543991 @default.
• W4318966672 creator A5038164962 @default.
• W4318966672 creator A5041392864 @default.
• W4318966672 creator A5075353682 @default.
• W4318966672 date "2022-05-09" @default.
• W4318966672 modified "2023-10-01" @default.
• W4318966672 title "Automated extraction and checking of property models from source code for robot swarms" @default.
• W4318966672 cites W1521483704 @default.
• W4318966672 cites W2002956917 @default.
• W4318966672 cites W2006607002 @default.
• W4318966672 cites W2017150251 @default.
• W4318966672 cites W2065955975 @default.
• W4318966672 cites W2098992935 @default.
• W4318966672 cites W2108526989 @default.
• W4318966672 cites W2118331730 @default.
• W4318966672 cites W2138516683 @default.
• W4318966672 cites W2138965497 @default.
• W4318966672 cites W2161353020 @default.
• W4318966672 cites W2277404150 @default.
• W4318966672 cites W2395613050 @default.
• W4318966672 cites W2473718451 @default.
• W4318966672 cites W2476974361 @default.
• W4318966672 cites W2549442913 @default.
• W4318966672 cites W2594905806 @default.
• W4318966672 cites W2599927475 @default.
• W4318966672 cites W2607438445 @default.
• W4318966672 cites W2969749685 @default.
• W4318966672 cites W4235152929 @default.
• W4318966672 cites W633803211 @default.
• W4318966672 doi "https://doi.org/10.1145/3526071.3527516" @default.
• W4318966672 hasPublicationYear "2022" @default.
• W4318966672 type Work @default.
• W4318966672 citedByCount "0" @default.
• W4318966672 crossrefType "proceedings-article" @default.
• W4318966672 hasAuthorship W4318966672A5021953451 @default.
• W4318966672 hasAuthorship W4318966672A5034543991 @default.
• W4318966672 hasAuthorship W4318966672A5038164962 @default.
• W4318966672 hasAuthorship W4318966672A5041392864 @default.
• W4318966672 hasAuthorship W4318966672A5075353682 @default.
• W4318966672 hasBestOaLocation W43189666721 @default.
• W4318966672 hasConcept C113993141 @default.
• W4318966672 hasConcept C115903868 @default.
• W4318966672 hasConcept C120314980 @default.
• W4318966672 hasConcept C136764020 @default.
• W4318966672 hasConcept C149635348 @default.
• W4318966672 hasConcept C154945302 @default.
• W4318966672 hasConcept C169337768 @default.
• W4318966672 hasConcept C181335050 @default.
• W4318966672 hasConcept C199360897 @default.
• W4318966672 hasConcept C19966478 @default.
• W4318966672 hasConcept C2777904410 @default.
• W4318966672 hasConcept C3018397939 @default.
• W4318966672 hasConcept C34413123 @default.
• W4318966672 hasConcept C41008148 @default.
• W4318966672 hasConcept C44832474 @default.
• W4318966672 hasConcept C48044578 @default.
• W4318966672 hasConcept C519991488 @default.
• W4318966672 hasConcept C544833334 @default.
• W4318966672 hasConcept C55439883 @default.
• W4318966672 hasConcept C65401140 @default.
• W4318966672 hasConcept C77088390 @default.
• W4318966672 hasConcept C90509273 @default.
• W4318966672 hasConceptScore W4318966672C113993141 @default.
• W4318966672 hasConceptScore W4318966672C115903868 @default.
• W4318966672 hasConceptScore W4318966672C120314980 @default.
• W4318966672 hasConceptScore W4318966672C136764020 @default.
• W4318966672 hasConceptScore W4318966672C149635348 @default.
• W4318966672 hasConceptScore W4318966672C154945302 @default.
• W4318966672 hasConceptScore W4318966672C169337768 @default.
• W4318966672 hasConceptScore W4318966672C181335050 @default.
• W4318966672 hasConceptScore W4318966672C199360897 @default.
• W4318966672 hasConceptScore W4318966672C19966478 @default.
• W4318966672 hasConceptScore W4318966672C2777904410 @default.
• W4318966672 hasConceptScore W4318966672C3018397939 @default.
• W4318966672 hasConceptScore W4318966672C34413123 @default.
• W4318966672 hasConceptScore W4318966672C41008148 @default.
• W4318966672 hasConceptScore W4318966672C44832474 @default.
• W4318966672 hasConceptScore W4318966672C48044578 @default.
• W4318966672 hasConceptScore W4318966672C519991488 @default.
• W4318966672 hasConceptScore W4318966672C544833334 @default.
• W4318966672 hasConceptScore W4318966672C55439883 @default.
• W4318966672 hasConceptScore W4318966672C65401140 @default.
• W4318966672 hasConceptScore W4318966672C77088390 @default.
• W4318966672 hasConceptScore W4318966672C90509273 @default.
• W4318966672 hasLocation W43189666721 @default.
• W4318966672 hasOpenAccess W4318966672 @default.
• W4318966672 hasPrimaryLocation W43189666721 @default.
• W4318966672 hasRelatedWork W1978295341 @default.
• W4318966672 hasRelatedWork W2089011450 @default.
• W4318966672 hasRelatedWork W2096480511 @default.
• W4318966672 hasRelatedWork W2184917583 @default.
• W4318966672 hasRelatedWork W2480315593 @default.
• W4318966672 hasRelatedWork W2891029895 @default.
• W4318966672 hasRelatedWork W3004744844 @default.
• W4318966672 hasRelatedWork W3021805378 @default.
• W4318966672 hasRelatedWork W3196415855 @default.
• W4318966672 hasRelatedWork W4285696983 @default.

• next