Decoupled Planning for Multiple Omega-Regular Objectives.

Guy Avni, Thomas A. Henzinger, Kaushik Mallik, Suman Sadhukhan, K. S. Thejaswini

Browse the full CAV paper archive.