Modeling and verification of a robotic surgical system using Hybrid Input/Output Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marta Capiluppi, Luzie Schreiter, Paolo Fiorini, Jörg Raczkowsky, Heinz Wörn. Modeling and verification of a robotic surgical system using Hybrid Input/Output Automata. In European Control Conference, ECC 2013, Zurich, Switzerland, July 17-19, 2013. pages 4238-4243, IEEE, 2013. [doi]

This author has not been identified. Look up 'Marta Capiluppi' in GoogleThis author has not been identified. Look up 'Luzie Schreiter' in GoogleThis author has not been identified. Look up 'Paolo Fiorini' in GoogleThis author has not been identified. Look up 'Jörg Raczkowsky' in GoogleThis author has not been identified. Look up 'Heinz Wörn' in Google

runs on WebDSL