{"id":"2412.01656","title":"STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems","url":"https://codeofpaper.com/paper/2412.01656","arxiv_url":"https://arxiv.org/abs/2412.01656","published":"2024-12-02","code":"community","best":{"full_name":"shuoyang2000/STLgame","url":"https://github.com/shuoyang2000/STLgame","tier":"high_confidence_community","stars":8,"license":"MIT","framework":null,"language":"Python","last_commit":"2025-03-01T18:59:31"},"most_starred_community":null,"implementations":[{"full_name":"shuoyang2000/STLgame","url":"https://github.com/shuoyang2000/STLgame","tier":"high_confidence_community","stars":8,"license":"MIT","framework":null,"language":"Python","last_commit":"2025-03-01T18:59:31"}],"possible_matches":0}