Optimal task allocation for distributed co-safe LTL specifications.

Ioana Hustiu, Cristian Mahulea, Marius Kloetzer

Browse the full ETFA paper archive.