AI, Autonomy, V&V and abstractions

My new post is here on the company’s blog. It talks about:

• How AI-based autonomy influences verification
• How AI-based autonomy implementation is moving closer to verification
• The importance of abstractions in all of that

Enjoy.