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 Formal Systems Laboratory (FSL), University of Illinois Urbana-Champaign International Centre of Biodynamics 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