Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. - Gianpiero Cabodi; Paolo Camurati; Luz Amanda Garcia; Marco Murciano; Sergio Nocco; Stefano Quer (FMCAD, 2008)

Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization. - Viviana Bruno; Luz Amanda Garcia; Sergio Nocco; Stefano Quer (J. Satisf. Boolean Model. Comput., 2008)

Speeding up model checking by exploiting explicit and hidden verification constraints. - Gianpiero Cabodi; Paolo Camurati; Luz Amanda Garcia; Marco Murciano; Sergio Nocco; Stefano Quer (DATE, 2009)

Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking. - Gianpiero Cabodi; Luz Amanda Garcia; Marco Murciano; Sergio Nocco; Stefano Quer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Modules and Techniques for Motion Planning: An Industrial Perspective. - Stefano Quer; Luz Amanda Garcia (Sensors, 2021)