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 AAMASview all
lecture cover

Maayan Shvo

Epistemic Plan Recognition

AAMAS • May 11, 2020

similar lectures

similar conferencesview all

conference cover

ECAI 2020

24th European Conference on Artificial Intelligence