Is the Automated Model Checker using AI Technology?

No, the Automated Model Checker is a software that is largely rules-based. The use of AI will be explored in the later phases.