@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170920-152025463,
    title = "2017 IEEE 56th Annual Conference on Decision and Control (CDC)",
    chapter = "Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis",
    publisher = "IEEE",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170920-152025463",
    id = "record",
    isbn = "978-1-5090-2873-3",
    doi = "10.1109/CDC.2017.8263775"
}