Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Damien Massé
Damien Massé
at_id:
orcid_id:
Disciplines:
Computer sciences
Electrical engineering
Edit
Merge
See Links
Thesis:
Vérification par interprétation abstraite guidée par une propriété temporelle
Directed Thesis:
Bracketing largest invariant sets of dynamical systems : an application to drifting underwater robots in ocean currents