discoverconferences

Formal Verification of Neural Agents in Non-deterministic Environments

May 11, 2020 • Live on Underline

Michael Akintunde-avatar-image
SPEAKER

Michael Akintunde

Imperial College London
aboutabstractfurther readingauthors

Formal Verification of Neural Agents in Non-deterministic Environments

May 11, 2020 • Live on Underline

Michael Akintunde-avatar-image
SPEAKER

Michael Akintunde

Imperial College London
next from AAMAS 2020view all
lecture cover

Maayan Shvo

Epistemic Plan Recognition

AAMAS 2020 • May 11, 2020

similar lectures

similar conferencesview all

conference cover

AIAI 2020

16th International Conference on Artificial Intelligence Applications and Innovations