Stefano Spellini, Michele Lora, Sudipta Chattopadhyay, Franco Fummi: Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress. CODES+ISSS 2018: 4