Anthony Mallet

According to our database1, Anthony Mallet authored at least 20 papers between 1998 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A formal toolchain for offline and run-time verification of robotic systems.
Robotics Auton. Syst., 2023

2019
A Truly-Redundant Aerial Manipulator System With Application to Push-and-Slide Inspection in Industrial Plants.
IEEE Robotics Autom. Lett., 2019

2018
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis.
CoRR, 2018

Formal verification of complex robotic systems on resource-constrained platforms.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017
Adaptive closed-loop speed control of BLDC motors with applications to multi-rotor aerial vehicles.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

2016
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.
Proceedings of the Formal Methods and Software Engineering, 2016

2010
Human-Robot Cooperation Based on Interaction Learning.
Proceedings of the From Motor Learning to Interaction Learning in Robots, 2010

GenoM3: Building middleware-independent robotic components.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

2009
Motion autonomy for humanoids: experiments on HRP-2 No. 14.
Comput. Animat. Virtual Worlds, 2009

Real-Time Spoken-Language Programming for Cooperative Interaction with a Humanoid Apprentice.
Int. J. Humanoid Robotics, 2009

2007
Progress in Programming the HRP-2 Humanoid Using Spoken Language.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

"Give me the purple ball" - he said to HRP-2 N.14.
Proceedings of the 2007 7th IEEE-RAS International Conference on Humanoid Robots, November 29th, 2007

Real-time cooperative behavior acquisition by a humanoid apprentice.
Proceedings of the 2007 7th IEEE-RAS International Conference on Humanoid Robots, November 29th, 2007

2005
Multiple eyes in the skies: architecture and perception issues in the COMETS unmanned air vehicles project.
IEEE Robotics Autom. Mag., 2005

2002
Digital elevation map building from low altitude stereo imagery.
Robotics Auton. Syst., 2002

Autonomous Rover Navigation on Unknown Terrains.
Int. J. Robotics Res., 2002

A specification of generic robotics software components: future evolutions of G<sup>en</sup><sub>o</sub>M in the Orocos context.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Lausanne, Switzerland, September 30, 2002

2000
Autonomous Rover Navigation on Unknown Terrains Functions and Integration.
Proceedings of the Experimental Robotics VII [ISER 2000, 2000

Position Estimation in Outdoor Environments using Pixel Tracking and Stereovision.
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

1998
Toward Real-Time 2D Localization in Outdoor Environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 1998


  Loading...