TY - THES
TI - Αυτοματοποιημένος σχεδιασμός ενεργειών για πολλούς πράκτορες, βασισμένος σε προτιμήσεις γραμμικής χρονικής λογικής (LTL)
AU - Πετσαλάκης Σταύρος
PY - 2015
C1 - Σχολή Θετικών Επιστημών, Τμήμα Πληροφορικής & Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
ER -