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
Elena Botoeva-avatar-image
SPEAKER

Elena Botoeva

Imperial College London
Panagiotis Kouvaros-avatar-image
SPEAKER

Panagiotis Kouvaros

Imperial College London
Alessio Lomuscio-avatar-image
SPEAKER

Alessio Lomuscio

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
Elena Botoeva-avatar-image
SPEAKER

Elena Botoeva

Imperial College London
Panagiotis Kouvaros-avatar-image
SPEAKER

Panagiotis Kouvaros

Imperial College London
Alessio Lomuscio-avatar-image
SPEAKER

Alessio Lomuscio

Imperial College London

similar conferences

conference cover

AAMAS 2020

International Conference on Autonomous Agents and Multi-Agent Systems

next from AAMASview all
lecture cover

Maayan Shvo

Employing Models of Human Social Motor Behavior for Artificial Agent Trainers

AAMAS • May 11, 2020

similar lectures
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2020 Underline - All rights reserved

Made with ❤️ in New York City