HEAL DSpace

Automatic synthesis of multi-agent motion tasks based on LTL specifications

Αποθετήριο DSpace/Manakin

Automatic synthesis of multi-agent motion tasks based on LTL specifications

Loizou, SG; Kyriakopoulos, KJ
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/31026
Ημερομηνία: 2004

Εμφάνιση πλήρους εγγραφής

Αρχεία σε αυτό το τεκμήριο

Αρχεία Μέγεθος Μορφότυπο Προβολή

Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο.

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)