Research Partners Applied Data Science Center, University of Bucharest arGO BRD C. Rădulescu-Motru Institute of Philosophy and Psychology Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest Department of Mathematics, Faculty of Mathematics and Computer Science, University of Bucharest Formal Systems Laboratory (FSL), University of Illinois Urbana-Champaign Infoarena International Centre of Biodynamics MultiversX National Meteorological Administration OPTI Systems Research Center for Logic, Optimization and Security (LOS), University of Bucharest Runtime Verification Simion Stoilow Institute of Mathematics of the Romanian Academy Softbinator Vatis Tech