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. (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.



