Finite LTL Synthesis with Environment Assumptions and Quality Measures.

Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith

Browse the full KR paper archive.