See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/216797502 Formal Development for Safe Robotics Article · January 2007 CITATIONS 0 READS 42 7 authors, including: Some of the authors of this publication are also working on these related projects: Nominal automata with name binding View project Dieter Hutter Deutsches Forschungszentrum für Künstliche… 131 PUBLICATIONS 1,110 CITATIONS SEE PROFILE Michael Kohlhase Friedrich-Alexander-University of Erlangen-N… 414 PUBLICATIONS 3,297 CITATIONS SEE PROFILE Till Mossakowski Otto-von-Guericke-Universität Magdeburg 213 PUBLICATIONS 2,375 CITATIONS SEE PROFILE All content following this page was uploaded by Till Mossakowski on 05 January 2017. The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document and are linked to publications on ResearchGate, letting you access and read them immediately.