How many times do we get worried by something we’ve no control of? The answer for this question totally depends on how we approach issues popping up before us in the first place. With the wide and indiscriminate use of Artificial Intelligence (AI), and the need to make sure a designed solution is safe and secure to be used by customers, considering also the inability to review as fast as an AI agent can generate something we’re working on, such concern may become worse. Automatic verification and validation—from a formal, i.e., mathematical and scientific perspective—is still a research challenge, mainly regarding the mandatory requirement of enforcing a deterministic execution of AI agents of a given observed system…and I’m not talking about innovation here but something we’ve already a well-known grasp on. It’s like having a bunch of autonomous robots with embedded AI agents materialising a building on their own, with little or no supervision. Are we sure no structural miscalcu...