Luz Garcia

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 1

Top Topics

Motion Planning

Mechanical Systems

Top Venues

Publications

Stefano Quer, Luz Garcia
Modules and Techniques for Motion Planning: An Industrial Perspective. Sensors 21 (2) (2021)
Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
Speeding up model checking by exploiting explicit and hidden verification constraints. DATE (2009)
Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. FMCAD (2008)
Viviana Bruno, Luz Garcia, Sergio Nocco, Stefano Quer
Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization. J. Satisf. Boolean Model. Comput. 5 (1-4) (2008)