FRINK Linked Data Fragments server

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

• W1750856813 endingPage "190" @default.
• W1750856813 startingPage "178" @default.
• W1750856813 abstract "We propose a framework to build formal developments for robot networks using the Coq proof assistant, to state and prove formally various properties. We focus in this paper on impossibility proofs, as it is natural to take advantage of the Coq higher order calculus to reason about algorithms as abstract objects. We present in particular formal proofs of two impossibility results for convergence of oblivious mobile robots if respectively more than one half and more than one third of the robots exhibit Byzantine failures, starting from the original theorems by Bouzid et al.. Thanks to our formalisation, the corresponding Coq developments are quite compact. To our knowledge, these are the first certified (in the sense of formally proved) impossibility results for robot networks." @default.
• W1750856813 created "2016-06-24" @default.
• W1750856813 creator A5006173859 @default.
• W1750856813 creator A5025348904 @default.
• W1750856813 creator A5042614825 @default.
• W1750856813 creator A5058685624 @default.
• W1750856813 creator A5073883755 @default.
• W1750856813 date "2013-01-01" @default.
• W1750856813 modified "2023-10-15" @default.
• W1750856813 title "Certified Impossibility Results for Byzantine-Tolerant Mobile Robots" @default.
• W1750856813 cites W153200464 @default.
• W1750856813 cites W1535610684 @default.
• W1750856813 cites W156970821 @default.
• W1750856813 cites W1581378641 @default.
• W1750856813 cites W1593280365 @default.
• W1750856813 cites W1662376798 @default.
• W1750856813 cites W1769410258 @default.
• W1750856813 cites W1988782771 @default.
• W1750856813 cites W2006833310 @default.
• W1750856813 cites W2035362408 @default.
• W1750856813 cites W2105713995 @default.
• W1750856813 cites W2109405784 @default.
• W1750856813 cites W2116536633 @default.
• W1750856813 cites W2126924915 @default.
• W1750856813 cites W2127853808 @default.
• W1750856813 cites W2135757886 @default.
• W1750856813 cites W2148662736 @default.
• W1750856813 cites W2218889307 @default.
• W1750856813 cites W2912259090 @default.
• W1750856813 cites W3137092842 @default.
• W1750856813 cites W3182674124 @default.
• W1750856813 cites W4210597939 @default.
• W1750856813 cites W4211103781 @default.
• W1750856813 cites W4234761613 @default.
• W1750856813 cites W87932605 @default.
• W1750856813 doi "https://doi.org/10.1007/978-3-319-03089-0_13" @default.
• W1750856813 hasPublicationYear "2013" @default.
• W1750856813 type Work @default.
• W1750856813 sameAs 1750856813 @default.
• W1750856813 citedByCount "38" @default.
• W1750856813 countsByYear W17508568132014 @default.
• W1750856813 countsByYear W17508568132015 @default.
• W1750856813 countsByYear W17508568132016 @default.
• W1750856813 countsByYear W17508568132017 @default.
• W1750856813 countsByYear W17508568132018 @default.
• W1750856813 countsByYear W17508568132019 @default.
• W1750856813 countsByYear W17508568132020 @default.
• W1750856813 countsByYear W17508568132021 @default.
• W1750856813 crossrefType "book-chapter" @default.
• W1750856813 hasAuthorship W1750856813A5006173859 @default.
• W1750856813 hasAuthorship W1750856813A5025348904 @default.
• W1750856813 hasAuthorship W1750856813A5042614825 @default.
• W1750856813 hasAuthorship W1750856813A5058685624 @default.
• W1750856813 hasAuthorship W1750856813A5073883755 @default.
• W1750856813 hasBestOaLocation W17508568133 @default.
• W1750856813 hasConcept C104562893 @default.
• W1750856813 hasConcept C108710211 @default.
• W1750856813 hasConcept C154945302 @default.
• W1750856813 hasConcept C162324750 @default.
• W1750856813 hasConcept C166957645 @default.
• W1750856813 hasConcept C17744445 @default.
• W1750856813 hasConcept C199539241 @default.
• W1750856813 hasConcept C203265346 @default.
• W1750856813 hasConcept C205649164 @default.
• W1750856813 hasConcept C2524010 @default.
• W1750856813 hasConcept C2776261394 @default.
• W1750856813 hasConcept C2777303404 @default.
• W1750856813 hasConcept C33923547 @default.
• W1750856813 hasConcept C41008148 @default.
• W1750856813 hasConcept C46304622 @default.
• W1750856813 hasConcept C50522688 @default.
• W1750856813 hasConcept C80444323 @default.
• W1750856813 hasConcept C90509273 @default.
• W1750856813 hasConceptScore W1750856813C104562893 @default.
• W1750856813 hasConceptScore W1750856813C108710211 @default.
• W1750856813 hasConceptScore W1750856813C154945302 @default.
• W1750856813 hasConceptScore W1750856813C162324750 @default.
• W1750856813 hasConceptScore W1750856813C166957645 @default.
• W1750856813 hasConceptScore W1750856813C17744445 @default.
• W1750856813 hasConceptScore W1750856813C199539241 @default.
• W1750856813 hasConceptScore W1750856813C203265346 @default.
• W1750856813 hasConceptScore W1750856813C205649164 @default.
• W1750856813 hasConceptScore W1750856813C2524010 @default.
• W1750856813 hasConceptScore W1750856813C2776261394 @default.
• W1750856813 hasConceptScore W1750856813C2777303404 @default.
• W1750856813 hasConceptScore W1750856813C33923547 @default.
• W1750856813 hasConceptScore W1750856813C41008148 @default.
• W1750856813 hasConceptScore W1750856813C46304622 @default.
• W1750856813 hasConceptScore W1750856813C50522688 @default.
• W1750856813 hasConceptScore W1750856813C80444323 @default.
• W1750856813 hasConceptScore W1750856813C90509273 @default.
• W1750856813 hasLocation W17508568131 @default.
• W1750856813 hasLocation W17508568132 @default.
• W1750856813 hasLocation W17508568133 @default.
• W1750856813 hasLocation W17508568134 @default.
• W1750856813 hasLocation W17508568135 @default.
• W1750856813 hasLocation W17508568136 @default.
• W1750856813 hasLocation W17508568137 @default.

• next