Luz Amanda Garcia

Affiliations:
  • Polytechnic University of Turin, Italy


According to our database1, Luz Amanda Garcia authored at least 5 papers between 2008 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Modules and Techniques for Motion Planning: An Industrial Perspective.
Sensors, 2021

2010
Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

2009
Speeding up model checking by exploiting explicit and hidden verification constraints.
Proceedings of the Design, Automation and Test in Europe, 2009

2008
Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization.
J. Satisf. Boolean Model. Comput., 2008

Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 2008


  Loading...