62 citations · 62 across the 1 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…