19 citations · 46 across the 6 of their papers we have counts for
1 paper · 2 filters
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil +1
We present a unified formal framework for expressing mobile robots models, protocols, and proofs, and devise a protocol design/proof methodology dedicated to mobile robots that tak…