Published in: LITES, Volume 8, Issue 2 (2022): Special Issue on Distributed Hybrid Systems. Leibniz Transactions on Embedded Systems, Volume 8, Issue 2
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, and Xavier Urbain. Swarms of Mobile Robots: Towards Versatility with Safety. In LITES, Volume 8, Issue 2 (2022): Special Issue on Distributed Hybrid Systems. Leibniz Transactions on Embedded Systems, Volume 8, Issue 2, pp. 02:1-02:36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Article{courtieu_et_al:LITES.8.2.2, author = {Courtieu, Pierre and Rieg, Lionel and Tixeuil, S\'{e}bastien and Urbain, Xavier}, title = {{Swarms of Mobile Robots: Towards Versatility with Safety}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {02:1--02:36}, ISSN = {2199-2002}, year = {2022}, volume = {8}, number = {2}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.2}, doi = {10.4230/LITES.8.2.2}, annote = {Keywords: distributed algorithm, mobile autonomous robots, formal proof} }
Published in: LIPIcs, Volume 23, Computer Science Logic 2013 (CSL 2013)
Lionel Rieg. Extracting Herbrand trees in classical realizability using forcing. In Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 23, pp. 597-614, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{rieg:LIPIcs.CSL.2013.597, author = {Rieg, Lionel}, title = {{Extracting Herbrand trees in classical realizability using forcing}}, booktitle = {Computer Science Logic 2013 (CSL 2013)}, pages = {597--614}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-60-6}, ISSN = {1868-8969}, year = {2013}, volume = {23}, editor = {Ronchi Della Rocca, Simona}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.597}, URN = {urn:nbn:de:0030-drops-42212}, doi = {10.4230/LIPIcs.CSL.2013.597}, annote = {Keywords: classical realizability, forcing, Curry-Howard correspondence, Herbrand trees} }
Feedback for Dagstuhl Publishing