{"id":"2309.13499","title":"Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts","url":"https://codeofpaper.com/paper/2309.13499","arxiv_url":"https://arxiv.org/abs/2309.13499","published":"2023-09-23","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}