scientific article; zbMATH DE number 1947497

zbMath1017.68575MaRDI QIDQ4411517

Froduald Kabanza, Khaled Ben Lamine

Publication date: 9 July 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Computing methodologies and applications (68U99) Artificial intelligence for robotics (68T40)

Related Items (1)

Robustness of temporal logic specifications for continuous-time signals

This page was built for publication: