salle A. Turing CE4
31 January 2013 - 15h00
Seminaire doctorant
by Ahlem Triki from Verimag
31 January 2013 - 15h00
Seminaire doctorant
by Ahlem Triki from Verimag
Résumé : TBA
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- 20 September 2019 at IMAG Auditorium (Grenoble) Oded Maler Memorial Day
- Argosim and Verimag in ``La Lettre Innovation du CNRS’’
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
New publications
- Recent Publications
- Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche: Compositional strategy synthesis for stochastic games with multiple objectives
- Stéphane Devismes, Colette Johnen: Soyez efficace, rembobinez
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Brief Announcement: Infinite Grid Exploration by Disoriented Robots
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs
- David Monniaux: Il faut se défier de la \guillemotleftpensée magique\guillemotright
- Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
