FRINK Linked Data Fragments server

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

• W3102785609 abstract "Incorrect operation of a Multi-Robot System (MRS) may not only lead to unsatisfactory results, but can also cause economic losses and jeopardize safety. These risks may not always be evident since they may arise as unforeseen consequences of interactions between different components of the system. Thus, tools and techniques that can help in providing guarantees about the behaviour of MRSs are on demand; and, whenever possible, these guarantees should be backed up by formal proofs complementing traditional approaches based on testing and simulation. Tailored linguistic support to specify MRSs is a major step towards this goal. Indeed, reducing the gap between typical features of an MRS and the linguistic primitives used to model them would simplify both the specification of these systems and their verification. With the aim of reducing this gap, in this work we identify some key features of MRSs. Then we consider a selection of three specification languages oriented towards MRSs, representative of wider categories of languages with similar aims. We finally assess the extent to which the considered languages capture the key features in an adequate and intuitive way by using them to implement MRSs case studies." @default.
• W3102785609 created "2020-11-23" @default.
• W3102785609 creator A5016732227 @default.
• W3102785609 creator A5036578213 @default.
• W3102785609 creator A5065962997 @default.
• W3102785609 date "2018-09-05" @default.
• W3102785609 modified "2023-10-16" @default.
• W3102785609 title "Toward Formal Models and Languages for Verifiable Multi-Robot Systems" @default.
• W3102785609 cites W1060861436 @default.
• W3102785609 cites W1484809653 @default.
• W3102785609 cites W1523176412 @default.
• W3102785609 cites W1524470902 @default.
• W3102785609 cites W1537086497 @default.
• W3102785609 cites W1552797176 @default.
• W3102785609 cites W1587990038 @default.
• W3102785609 cites W1846656883 @default.
• W3102785609 cites W1965044289 @default.
• W3102785609 cites W1965498649 @default.
• W3102785609 cites W1967168902 @default.
• W3102785609 cites W1969261843 @default.
• W3102785609 cites W1972433423 @default.
• W3102785609 cites W1973150039 @default.
• W3102785609 cites W1974905959 @default.
• W3102785609 cites W1976004406 @default.
• W3102785609 cites W1980392184 @default.
• W3102785609 cites W1982636603 @default.
• W3102785609 cites W1984957636 @default.
• W3102785609 cites W1990911977 @default.
• W3102785609 cites W1991609163 @default.
• W3102785609 cites W2001733898 @default.
• W3102785609 cites W2008620264 @default.
• W3102785609 cites W2012157187 @default.
• W3102785609 cites W2017150251 @default.
• W3102785609 cites W2026974302 @default.
• W3102785609 cites W2031522732 @default.
• W3102785609 cites W2035362408 @default.
• W3102785609 cites W2045362872 @default.
• W3102785609 cites W2047482026 @default.
• W3102785609 cites W2048905609 @default.
• W3102785609 cites W2050484682 @default.
• W3102785609 cites W2053225543 @default.
• W3102785609 cites W2075476358 @default.
• W3102785609 cites W2077245982 @default.
• W3102785609 cites W2099184899 @default.
• W3102785609 cites W2110742462 @default.
• W3102785609 cites W2111426473 @default.
• W3102785609 cites W2115915261 @default.
• W3102785609 cites W2118331730 @default.
• W3102785609 cites W2131929623 @default.
• W3102785609 cites W2135749407 @default.
• W3102785609 cites W2140929789 @default.
• W3102785609 cites W2142219372 @default.
• W3102785609 cites W2156644501 @default.
• W3102785609 cites W2157488300 @default.
• W3102785609 cites W2161307885 @default.
• W3102785609 cites W2233433391 @default.
• W3102785609 cites W2265279503 @default.
• W3102785609 cites W2283569934 @default.
• W3102785609 cites W2402625038 @default.
• W3102785609 cites W2465704269 @default.
• W3102785609 cites W24701999 @default.
• W3102785609 cites W2511574854 @default.
• W3102785609 cites W2528375622 @default.
• W3102785609 cites W2567377301 @default.
• W3102785609 cites W2590885566 @default.
• W3102785609 cites W2624730963 @default.
• W3102785609 cites W2739422576 @default.
• W3102785609 cites W2775821128 @default.
• W3102785609 cites W2790892475 @default.
• W3102785609 cites W2806951673 @default.
• W3102785609 cites W2998259759 @default.
• W3102785609 cites W3137220996 @default.
• W3102785609 cites W4234015033 @default.
• W3102785609 cites W4292083457 @default.
• W3102785609 cites W4293507953 @default.
• W3102785609 cites W627053101 @default.
• W3102785609 cites W760007050 @default.
• W3102785609 cites W97138409 @default.
• W3102785609 doi "https://doi.org/10.3389/frobt.2018.00094" @default.
• W3102785609 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/7806004" @default.
• W3102785609 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/33500973" @default.
• W3102785609 hasPublicationYear "2018" @default.
• W3102785609 type Work @default.
• W3102785609 sameAs 3102785609 @default.
• W3102785609 citedByCount "9" @default.
• W3102785609 countsByYear W31027856092018 @default.
• W3102785609 countsByYear W31027856092019 @default.
• W3102785609 countsByYear W31027856092020 @default.
• W3102785609 countsByYear W31027856092022 @default.
• W3102785609 crossrefType "journal-article" @default.
• W3102785609 hasAuthorship W3102785609A5016732227 @default.
• W3102785609 hasAuthorship W3102785609A5036578213 @default.
• W3102785609 hasAuthorship W3102785609A5065962997 @default.
• W3102785609 hasBestOaLocation W31027856091 @default.
• W3102785609 hasConcept C108710211 @default.
• W3102785609 hasConcept C111498074 @default.
• W3102785609 hasConcept C115903868 @default.
• W3102785609 hasConcept C154945302 @default.
• W3102785609 hasConcept C177264268 @default.
• W3102785609 hasConcept C199360897 @default.

• next