108 citations · 330 across the 34 of their papers we have counts for
1 paper · 1 filter
Zhe Xu, Agung Julius
In this paper, we define a novel census signal temporal logic (CensusSTL) that focuses on the number of agents in different subsets of a group that complete a certain task specifie…