Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tobe Toben, Sönke Eilers, Christian Kuka, Sören Schweigert, Hannes Winkelmann, Stefan Ruehrup. Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments. In Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers. Volume 336 of Communications in Computer and Information Science, pages 61-75, Springer, 2011. [doi]

This author has not been identified. Look up 'Tobe Toben' in GoogleThis author has not been identified. Look up 'Sönke Eilers' in GoogleThis author has not been identified. Look up 'Christian Kuka' in GoogleThis author has not been identified. Look up 'Sören Schweigert' in GoogleThis author has not been identified. Look up 'Hannes Winkelmann' in GoogleThis author has not been identified. Look up 'Stefan Ruehrup' in Google

runs on WebDSL