scientific article; zbMATH DE number 1794383

zbMath0991.93038MaRDI QIDQ4552484

Thomas Moor, J. M. Davoren

Publication date: 3 September 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2034/20340433

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Design techniques (robust design, computer-aided design, etc.) (93B51) Modal logic (including the logic of norms) (03B45) Synthesis problems (93B50)

Related Items (5)

On dynamic topological and metric logics ⋮ Specifications for decidable hybrid games ⋮ Maximally permissive controlled system synthesis for non-determinism and modal logic ⋮ Temporal logic motion planning for dynamic robots ⋮ Towards physical hybrid systems

This page was built for publication: