Vérification efficace pour des systèmes distribués fiables

DEVINE · Unité propre · Rennes · Bretagne

Tutelles : Institut national de la recherche en informatique et automatique, Centre national de la recherche scientifique, Ecole normale supérieure de Rennes

Disciplines : informatique, ingenierie

Site du laboratoire →

📚 39 publications sur HAL open science →

Publications récentes (HAL)

Reachability in multi-agent transfer systems
Delay Propagation in Metro Timetables
A Floyd-Warshall Approach to Value Computation in Markov Decision Processes

Source : MESRI ScanR / HAL (Etalab 2.0) · Données HAL (CC0)