[CUT16] Brief Announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots

Conférence Internationale avec comité de lecture : PODC '16: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, July 2016, pp.439-441, Chicago, US, (DOI: 10.1145/2933057.2933070)

Auteurs: P. Courtieu , X. Urbain , S. Tixeuil , L. Rieg

Mots clés: Swarm of robots, distributed computing, formal proofs, proof assistant

Résumé: A Coq formal proof of a distributed algotrithm for swarms of oblivious, sensing, robots.

Collaboration: LIP6

BibTeX

@inproceedings {
	CUT16,
	title	=	"{Brief Announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots}",
	author	=	" P. Courtieu and X. Urbain and S. Tixeuil and L. Rieg ",
	booktitle	=	"{PODC '16: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing}",
	year	=	2016,
	edition	=	"ACM",
	month	=	"July",
	pages	=	"439-441",
	address	=	"Chicago, US",
	doi	=	"10.1145/2933057.2933070",
}