Temporal Logic Bounded Model-Checking for Recognition of Activities of Daily Living / T. Magherini; G. Parente; C.D. Nugent; M.P. Donnelly; E. Vicario; F. Cruciani; C. Paggetti. - ELETTRONICO. - (2010), pp. 1-4. (Intervento presentato al convegno ITAB 2010).
Temporal Logic Bounded Model-Checking for Recognition of Activities of Daily Living
MAGHERINI, TOMMASO;VICARIO, ENRICO;
2010
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
abstract.pdf
accesso aperto
Tipologia:
Altro
Licenza:
Open Access
Dimensione
41.6 kB
Formato
Adobe PDF
|
41.6 kB | Adobe PDF |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.