Verification of human driven data-centric dynamic systems

Conference proceeding

Peer reviewed

AAAI Spring Symposium: Technical Report, Vol.SS-14-02, pp. 80-85

SS-14-02

AAAI 2014 Spring Symposium (Palo Alto, 24/03/2014 - 26/03/2014)

2014

Handle:

https://hdl.handle.net/10863/38860

Details

Title: Verification of human driven data-centric dynamic systems
Creators: B Bagheri Hariri
D Calvanese
Marco Montali
G De Giacomo
A Deutsch
Publication Details: AAAI Spring Symposium: Technical Report, Vol.SS-14-02, pp. 80-85
Conference: AAAI 2014 Spring Symposium (Palo Alto, 24/03/2014 - 26/03/2014)
Series / Volume: SS-14-02
Publisher: AI Access Foundation
Number of pages: 6
Identifiers: (UNIBZ)65914440
991006700792701241
Scopus ID: 2-s2.0-84904914043
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Bagheri Hariri B, Calvanese D, Montali M, De Giacomo G, Deutsch A
Additional Description: description: Record is part of a bulk validation set

1 Record Views