Autonomous Robotic Systems

News

Seminars
- 23 October 2018 Thusitha asela Bandara: An adaptive charge protocol for lithium-lon batteries
- 31 October 2018 Mahieddine Dellabani: Formal methods for distributed real-time systems (Phd)

Recent Publications
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A Silent Self-Stabilizing Algorithm for the Generalized Minimal k-Dominating Set Problem
- Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios E. Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan: Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
- Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch: Formally Verifying Flow Properties in Industrial Systems
- Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond: Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt
- Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Beno\^ Dupont de Dinechin: DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem: Improved Learning for Stochastic Timed Models by State-Merging Algorithms