@misc{1324112,
    title = "Αυτοματοποιημένος σχεδιασμός ενεργειών για πολλούς πράκτορες, βασισμένος σε προτιμήσεις γραμμικής χρονικής λογικής (LTL)",
    authorField = "Πετσαλάκης, Σταύρος",
    year = "2015",
    school = "Σχολή Θετικών Επιστημών, Τμήμα Πληροφορικής & Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών"
}