10 citations · 14 across the 14 of their papers we have counts for
1 paper · 2 filters
Stavros Tripakis, Karen Rudie
We introduce a new decentralized observation condition which we call "at least one can tell" (OCT) and which attempts to capture the idea that for any possible behavior that a syst…