FRINK Linked Data Fragments server

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

• W2953707904 abstract "Engineering dependable software for mobile robots is becoming increasingly important. A core asset to engineering mobile robots is the mission specification - a description of the mission that mobile robots shall achieve. Mission specifications are used, among others, to synthesize, verify, simulate or guide the engineering of robot software. However, development of precise mission specifications is challenging, as engineers need to translate requirements into specification structures often expressed in a logical language - a laborious and error-prone task. Specification patterns, as solutions for recurrent specification problems have been recognized as a solution for this problem. Each pattern details the usage intent, known uses, relationships to other patterns, and---most importantly---a template mission specification in temporal logic. Patterns constitute reusable building blocks that can be used by engineers to create complex mission specifications while reducing mistakes. To this end, we describe PsALM, a toolchain supporting the development of dependable robotic missions. PsALM supports the description of mission requirements through specification patterns and allows automatic generation of mission specifications. PsALM produces specifications expressed in LTL and CTL temporal logics to be used by planners, simulators and model checkers, supporting systematic mission design. The pattern catalog and PsALM is available on our dedicated website: www.roboticpatterns.com" @default.
• W2953707904 created "2019-07-12" @default.
• W2953707904 creator A5013103539 @default.
• W2953707904 creator A5018466538 @default.
• W2953707904 creator A5057850035 @default.
• W2953707904 creator A5072456187 @default.
• W2953707904 date "2019-05-01" @default.
• W2953707904 modified "2023-09-30" @default.
• W2953707904 title "PsALM: Specification of Dependable Robotic Missions" @default.
• W2953707904 cites W1976004406 @default.
• W2953707904 cites W1991596047 @default.
• W2953707904 cites W1996832037 @default.
• W2953707904 cites W2004796166 @default.
• W2953707904 cites W2032602169 @default.
• W2953707904 cites W2033014924 @default.
• W2953707904 cites W2034592322 @default.
• W2953707904 cites W2035878287 @default.
• W2953707904 cites W2043912048 @default.
• W2953707904 cites W2060307524 @default.
• W2953707904 cites W2068300951 @default.
• W2953707904 cites W2071797744 @default.
• W2953707904 cites W2077578897 @default.
• W2953707904 cites W2136579724 @default.
• W2953707904 cites W2147628469 @default.
• W2953707904 cites W2151958719 @default.
• W2953707904 cites W2160668141 @default.
• W2953707904 cites W2166839364 @default.
• W2953707904 cites W217151948 @default.
• W2953707904 cites W2471407520 @default.
• W2953707904 cites W2547497993 @default.
• W2953707904 cites W2614942566 @default.
• W2953707904 cites W2808762350 @default.
• W2953707904 cites W2809507729 @default.
• W2953707904 doi "https://doi.org/10.1109/icse-companion.2019.00048" @default.
• W2953707904 hasPublicationYear "2019" @default.
• W2953707904 type Work @default.
• W2953707904 sameAs 2953707904 @default.
• W2953707904 citedByCount "19" @default.
• W2953707904 countsByYear W29537079042019 @default.
• W2953707904 countsByYear W29537079042020 @default.
• W2953707904 countsByYear W29537079042021 @default.
• W2953707904 countsByYear W29537079042022 @default.
• W2953707904 countsByYear W29537079042023 @default.
• W2953707904 crossrefType "proceedings-article" @default.
• W2953707904 hasAuthorship W2953707904A5013103539 @default.
• W2953707904 hasAuthorship W2953707904A5018466538 @default.
• W2953707904 hasAuthorship W2953707904A5057850035 @default.
• W2953707904 hasAuthorship W2953707904A5072456187 @default.
• W2953707904 hasBestOaLocation W29537079042 @default.
• W2953707904 hasConcept C115903868 @default.
• W2953707904 hasConcept C116253237 @default.
• W2953707904 hasConcept C127413603 @default.
• W2953707904 hasConcept C154945302 @default.
• W2953707904 hasConcept C199360897 @default.
• W2953707904 hasConcept C19966478 @default.
• W2953707904 hasConcept C201677973 @default.
• W2953707904 hasConcept C201995342 @default.
• W2953707904 hasConcept C2777062904 @default.
• W2953707904 hasConcept C2777904410 @default.
• W2953707904 hasConcept C2780451532 @default.
• W2953707904 hasConcept C41008148 @default.
• W2953707904 hasConcept C84651959 @default.
• W2953707904 hasConcept C90509273 @default.
• W2953707904 hasConceptScore W2953707904C115903868 @default.
• W2953707904 hasConceptScore W2953707904C116253237 @default.
• W2953707904 hasConceptScore W2953707904C127413603 @default.
• W2953707904 hasConceptScore W2953707904C154945302 @default.
• W2953707904 hasConceptScore W2953707904C199360897 @default.
• W2953707904 hasConceptScore W2953707904C19966478 @default.
• W2953707904 hasConceptScore W2953707904C201677973 @default.
• W2953707904 hasConceptScore W2953707904C201995342 @default.
• W2953707904 hasConceptScore W2953707904C2777062904 @default.
• W2953707904 hasConceptScore W2953707904C2777904410 @default.
• W2953707904 hasConceptScore W2953707904C2780451532 @default.
• W2953707904 hasConceptScore W2953707904C41008148 @default.
• W2953707904 hasConceptScore W2953707904C84651959 @default.
• W2953707904 hasConceptScore W2953707904C90509273 @default.
• W2953707904 hasLocation W29537079041 @default.
• W2953707904 hasLocation W29537079042 @default.
• W2953707904 hasOpenAccess W2953707904 @default.
• W2953707904 hasPrimaryLocation W29537079041 @default.
• W2953707904 hasRelatedWork W109296386 @default.
• W2953707904 hasRelatedWork W1525484054 @default.
• W2953707904 hasRelatedWork W1543843750 @default.
• W2953707904 hasRelatedWork W1901520916 @default.
• W2953707904 hasRelatedWork W1928036345 @default.
• W2953707904 hasRelatedWork W1957629191 @default.
• W2953707904 hasRelatedWork W1996832037 @default.
• W2953707904 hasRelatedWork W2004796166 @default.
• W2953707904 hasRelatedWork W2018487563 @default.
• W2953707904 hasRelatedWork W2031566287 @default.
• W2953707904 hasRelatedWork W2099141642 @default.
• W2953707904 hasRelatedWork W2099220258 @default.
• W2953707904 hasRelatedWork W2113788211 @default.
• W2953707904 hasRelatedWork W2169854666 @default.
• W2953707904 hasRelatedWork W2525188040 @default.
• W2953707904 hasRelatedWork W2808762350 @default.
• W2953707904 hasRelatedWork W2808947987 @default.
• W2953707904 hasRelatedWork W2811472820 @default.
• W2953707904 hasRelatedWork W2977713273 @default.

• next