TORTA, GIANLUCA

TORTA, GIANLUCA  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 59 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
35 Years of Pietro Torasso's work on diagnosis 2018 Luca Console , Diego Magro , Roberto Micalizio , Enrico Scala , Daniele Theseider Dupre, Gianluca Torta
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model 2010 Gianluca Torta; Pietro Torasso
A Symbolic Approach for Component Abstraction in Model-Based Diagnosis 2008 G. TORTA; P. TORASSO
A Theory of Abstraction for Diagnosis of Discrete-Event Systems 2011 Alban Grastien; Gianluca Torta
Abductive Problem Solving with Abstractions 2009 Torta G.; Theseider Dupré D.
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems 2007 G. TORTA; P. TORASSO
Automatic Abstraction in Component-Based Diagnosis Driven by System Observability 2003 TORTA G; TORASSO P
Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis 2005 P. TORASSO; G. TORTA
Automatic component abstraction for Model-Based Diagnosis on relational models 2013 Torta Gianluca; Torasso Pietro
Compact Diagnoses Representation in Diagnostic Problem Solving 2005 P. TORASSO; G. TORTA
Computation of Minimal Sensor Sets for Conditional Testability Requirements 2008 G. TORTA; P. TORASSO
Computation of Minimal Sensor Sets from Precompiled Discriminability Relations 2007 G. TORTA; P. TORASSO
Computing Minimum-Cardinality Diagnoses Using OBDDs 2003 P. TORASSO; G. TORTA
Cost-sensitive Iterative Abductive Reasoning with Abstractions 2008 Gianluca Torta; Daniele Theseider Dupré; Luca Anselma
Diagnosing Delays in Multi-Agent Plans Execution 2012 R. Micalizio; G. Torta
Diagnosing Dependent Action Delays in Temporal Multiagent Plans 2013 Roberto Micalizio; Gianluca Torta
Distributed runtime verification by past-CTL and the field calculus 2022 Audrito G.; Damiani F.; Stolz V.; Torta G.; Viroli M.
Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans 2019 Torta, G; Micalizio, R; Sormano, S
Explaining interdependent action delays in multiagent plans execution 2016 Micalizio, Roberto; Torta, Gianluca
Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions 2014 G. Torta; L. Anselma; D. Theseider Dupré