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
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Brief Announcement: Infinite Grid Exploration by Disoriented Robots
- Tommaso Dreossi, Thao Dang, Carla Piazza: Reachability computation for polynomial dynamical systems
- Cristina Serban: Automated reasoning in separation logic with inductive definitions
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A silent self-stabilizing algorithm for the generalized minimal \emphk-dominating set problem
