Strategy Templates - Robust Certified Interfaces for Interacting Systems.

Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck

Browse the full ATVA paper archive.