1. A symmetry-theoretic framework for AI-guided symbolic execution in embedded systems
  2. Sustainable and AI-based support in the module of educational support systems