Don’t do things you can’t undo: reversibility models for generating safe behaviours (English)
ICRA, 1134-1139 (2007).
1
Seeing empty space in an unknown environment without silhouettes (English)
AMiRE, 27-32 (2005).
2
Two steps towards a mechanically autonomous self-replicating system (English)
AMiRE, 281-286 (2005).
3
Coalgebra-to-algebra morphisms. (English)
Electron. Notes Theor. Comput. Sci. 29 (1999).
4
Coalgebra-to-algebra morphisms. (English)
Hofmann, Martin (ed.) et al., CTCS ’99. Conference on category theory and computer science, Edinburgh, GB, September 10-12, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 29, 8 p., electronic only (1999).
5