Concurrent Permissive Strategy Templates.

Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck

Browse the full TACAS paper archive.