Stefano Spellini, Michele Lora, Sudipta Chattopadhyay, Franco Fummi. Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress. In Aviral Shrivastava, Sudeep Pasricha, editors, Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2018, part of ESWEEK 2018, Torino, Italy, September 30 - October 5, 2018. pages 4, IEEE / ACM, 2018. [doi]
Abstract is missing.