Luzie Schreiter, Davide Bresolin, Marta Capiluppi, Jörg Raczkowsky, Paolo Fiorini, Heinz Wörn. Application of contract-based verification techniques for hybrid automata to surgical robotic systems. In European Control Conference, ECC 2014, Strasbourg, France, June 24-27, 2014. pages 2310-2315, IEEE, 2014. [doi]
Abstract is missing.