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

2010
ITAB 2010
T. Magherini; G. Parente; C.D. Nugent; M.P. Donnelly; E. Vicario; F. Cruciani; C. Paggetti
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/519656
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact