Publication:4417893

zbMath1032.93045MaRDI QIDQ4417893

Karine Altisen, Éric Rutten, Florence Maraninchi, Aurélie Clodic

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2618/26180174.htm

Mathematics Subject Classification ID

68Q45: Formal languages and automata

93C85: Automated systems (robots, etc.) in control theory

93C65: Discrete event control/observation systems

68T40: Artificial intelligence for robotics