I am mostly interested in the following research fields (in chronological/current interest order, i.e. the most recent and most involved themes first):
- Validation, Verification and Controler Synthesis for Autonomous Systems. This theme is probably the one in which I am the most involved currently. Check the experiments section for more detailled presentations of our work. As for papers you can check the following ones:
- AI Planning with Arthur and Malik
- AI and Robotics. Here are a couple of surveys Malik Ghallab and I wrote on the subject: AI Com and AI Journal.
Older stuff:
- Dependable and Robust Autonomous Systems. A paper which appeared in IROS 2006 Workshop on Physical Human-Robot Interaction in Anthropic Domains.
- Learning Action Models for Planning and Execution Control. Here is an Autonomous Robots Journal paper.
- Temporal Planning and Execution control. A paper which appeared in AAAI 2004.
- Execution Control and Planning. Here is a paper which appeared in ECP 1999.
- Architecture for Autonomous Systems (in particular robots). Here is a paper describing the architecture we propose, and another paper describing an application of this architecture. A more recent paper on IDEA, an inovative approach I worked on while visiting NASA Ames.
- Multi Robot Cooperation. A general paper describing the approach we used at LAAS, and LAAS contribution in the Martha Esprit Project.
- Procedural Reasoning Systems applied to Supervision and Control of Autonomous Mobile Robots. Here is the "latest" published paper on this subject.
- Now, if you want to read some older and more general stuff on PRS, I did while I was at SRI International.
- No, you cannot find my own PhD Thesis here...