Title: Given an LTL formula and a network, what is the best way to distribute its monitoring over the network?

Abstract: During this presentation we will be considering the problem of splitting up the monitoring of an LTL formula over a network, assuming the network shares a global clock. In particular, we will be considering orchestration, choreographed, and migrating configurations; discussing their respective benefits and shortcomings.