July 2022 CACM: Toward Verified Artificial Intelligence

Sanjit A. Seshia discusses “Toward Verified Artificial Intelligence,” a Contributed Article in the July 2022 CACM.

July 2022 CACM: Toward Verified Artificial Intelligence

Source

0
(0)

Sanjit A. Seshia discusses “Toward Verified Artificial Intelligence,” a Contributed Article in the July 2022 CACM.

0 / 5. 0