counting LTL

counting linear temporal logic

summary

(nil)

results

• First defined in [1]

references (chronological order)

1. Provably-Correct Coordination of Large Collections of Agents with Counting Temporal Logic Constraints (2017)