Výsledky vyhledávání - "Theory of computation Logic Modal and temporal logics"

Provably-correct coordination of large collections of agents with counting temporal logic constraints Autor Sahin, Yunus Emre, Nilsson, Petter, Ozay, Necmiye

“…In this paper, we consider the problem of coordinating a large collection of homogeneous agents subject to a novel class of constraints…”
Získat plný text