Contrôle, probabilités et observation partielle

Nathalie Bertrand 1 Serge Haddad 2, 3
1 SUMO - SUpervision of large MOdular and distributed systems
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01242962
Contributor : Benedikt Bollig <>
Submitted on : Monday, December 14, 2015 - 1:20:44 PM
Last modification on : Friday, January 11, 2019 - 2:25:11 PM

Identifiers

  • HAL Id : hal-01242962, version 1

Citation

Nathalie Bertrand, Serge Haddad. Contrôle, probabilités et observation partielle. Informatique Mathématique. Une photographie en 2015, CNRS Édition, pp.177-227, 2015. ⟨hal-01242962⟩

Share

Metrics

Record views

524