The webinar on AI-based virtual sensors highlights their potential in estimating signals that are challenging or expensive to measure, particularly the battery state of charge (SOC) in Battery Management Systems. It provides a practical example demonstrating how AI models can be seamlessly integrated into system-level design. Key aspects of the session include a workflow that enables the design, verification, compression, and deployment of these virtual sensors within a unified environment. Attendees will learn to integrate AI models into Simulink® for system-level simulation and verification, apply formal verification methods to assess neural network behavior, and optimize models for both memory footprint and execution speed. Additionally, the webinar will cover the generation of library-free C code for embedded deployment and the evaluation of design tradeoffs concerning accuracy, performance, and deployment targets. This session is sponsored by Mathworks, in collaboration with IEEE Spectrum and Wiley, and is available on demand for those interested in advancing their understanding of AI applications in engineering.