Kevin Leahy
3 papers · 34 citations
Most-cited papers
- Fast Decomposition Of Temporal Logic Specifications For Heterogeneous Teams2020 · 27 citations
- Catlnet: Learning Communication And Coordination Policies From Catl+ Specifications2022 · 1 citations
Top co-authors
Topics