Antoine Petit

Computer Science · Physical Sciences

24h-index2.5kcitations102works0.02yr avg

Accepting Students?

No reports yet. Know if this professor is taking students?


Research Topics

Formal Methods in Verification(34), semigroups and automata theory(25), Logic, programming, and type systems(23), Robotics and Sensor-Based Localization(17), Petri Nets in System Modeling(15)

Publications102 total

Springer tracts in advanced robotics·2022
Springer tracts in advanced robotics·2022
Histoire de la recherche contemporaine·2021Open Access
Initiation de la fracture dans la technologie Smart Cut
2020
IEEE Robotics and Automation Letters·2019· 18 citedOpen Access
Lecture notes in computer science·2019· 37 citedOpen Access
HAL (Le Centre pour la Communication Scientifique Directe)·2018· 4 citedOpen Access
IEEE Robotics & Automation Magazine·2018Open Access
ScholarsArchive (Brigham Young University)·2018Open Access
HAL (Le Centre pour la Communication Scientifique Directe)·2017Open Access
page 1 of 6Next →

Frequent Co-authors

Paul Gastin(14), Éric Marchand(11), Keyvan Kanani(10), Patricia Bouyer(9), Bruno Siciliano(7), Volker Diekert(6), Vincenzo Lippiello(6), Béatrice Bérard(5), Catherine Dufourd(3), Emmanuel Fleury(3), Stéphane Cotin(3), Giuseppe Andrea Fontanelli(3), Michel Bidoit(2), François Laroussinie(2), Laure Petrucci(2), Ph. Schnoebelen(2), Nicolas Golse(2), Éric Vibert(2), Denis Thérien(2), Fabio Ruggiero(2)