arXiv Computer Science: "Fast Decomposition of Temporal Logic Specificatio…" - CleverLibre Social

arXiv Computer Science @arxiv_cs@social.cleverlibre.org

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. (arXiv:2010.00030v1 [cs.AI]) http://arxiv.org/abs/2010.00030

Oct 02, 2020, 03:00 · · feed2toot · · ·

Sign in to participate in the conversation