The Computational Complexity of Controller-Environment Co-design Using Library Selection for Distributed Construction. - Mesam Timmar; Todd Wareham (DARS, 2018)