Πετσαλάκης Σταύρος, Αυτοματοποιημένος σχεδιασμός ενεργειών για πολλούς πράκτορες, βασισμένος σε προτιμήσεις γραμμικής χρονικής λογικής (LTL), 2015,