Sophia-Antipolis

Formal Veri cation of Missions and TasksApplication to Underwater RoboticsDaniel

Felix Viallet, Simon Konstantinos Kapellos, Bernard, 1995 .

Formal Veri cation of Robotic Missions and TasksDaniel

Felix Viallet, Sophia-Antipolis, Simon Konstantinos Kapellos Bernard Espiau Muriel, 1995 .

SPACE ALTERNATING VARIATIONAL ESTIMATION AND KRONECKER STRUCTURED DICTIONARY LEARNING

Sophia-Antipolis, 2019 .

Digraph redicolouring

France, Inria, N. Bousquet, 2023, 2301.03417.