Benoit Morisset Guillaume Infantes Malik Ghallab Félix Ingrand Robel: Synthesizing and Conrolling Complex Robust Robot Behaviors. 1067-1068 2004 conf/ecai/2004 ECAI db/conf/ecai/ecai2004.html#MorissetIGI04