TORTA, GIANLUCA
TORTA, GIANLUCA
INFORMATICA
35 Years of Pietro Torasso's work on diagnosis
2018-01-01 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-01-01 Gianluca Torta; Pietro Torasso
A Symbolic Approach for Component Abstraction in Model-Based Diagnosis
2008-01-01 G. TORTA; P. TORASSO
A Theory of Abstraction for Diagnosis of Discrete-Event Systems
2011-01-01 Alban Grastien; Gianluca Torta
Abductive Problem Solving with Abstractions
2009-01-01 Torta G.; Theseider Dupré D.
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems
2007-01-01 G. TORTA; P. TORASSO
Automatic Abstraction in Component-Based Diagnosis Driven by System Observability
2003-01-01 TORTA G; TORASSO P
Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis
2005-01-01 P. TORASSO; G. TORTA
Automatic component abstraction for Model-Based Diagnosis on relational models
2013-01-01 Torta Gianluca; Torasso Pietro
Compact Diagnoses Representation in Diagnostic Problem Solving
2005-01-01 P. TORASSO; G. TORTA
Computation of Minimal Sensor Sets for Conditional Testability Requirements
2008-01-01 G. TORTA; P. TORASSO
Computation of Minimal Sensor Sets from Precompiled Discriminability Relations
2007-01-01 G. TORTA; P. TORASSO
Computing Minimum-Cardinality Diagnoses Using OBDDs
2003-01-01 P. TORASSO; G. TORTA
Cost-sensitive Iterative Abductive Reasoning with Abstractions
2008-01-01 Gianluca Torta; Daniele Theseider Dupré; Luca Anselma
Diagnosing Delays in Multi-Agent Plans Execution
2012-01-01 R. Micalizio; G. Torta
Diagnosing Dependent Action Delays in Temporal Multiagent Plans
2013-01-01 Roberto Micalizio; Gianluca Torta
Distributed runtime verification by past-CTL and the field calculus
2022-01-01 Audrito G.; Damiani F.; Stolz V.; Torta G.; Viroli M.
Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans
2019-01-01 Torta, G; Micalizio, R; Sormano, S
Explaining interdependent action delays in multiagent plans execution
2016-01-01 Micalizio, Roberto; Torta, Gianluca
Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions
2014-01-01 G. Torta; L. Anselma; D. Theseider Dupré