Guevara, Ivan Hugo, University of Limerick, Ireland
-
Volume 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021 - Articles
Synthesis of smart manufacturing environments. Towards evolvable robotic navigation scenarios.
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.