1. Department of Computer Science, Faculty of Mathematics and Computer Science, Research Center for Logic, Optimization and Security (LOS), University of Bucharest, Bucharest, Romania
2. Institut de Robòtica i Informàtica Industrial (CSIC-UPC), Barcelona, Spain
3. Department of Automation Control and Systems Engineering, Politehnica University of Bucharest, Bucharest, Romania