Verification of RNN-Based Neural Agent-Environment Systems.

Michael E. Akintunde Andreea Kevorchian Alessio Lomuscio Edoardo Pirovano

Published in: AAAI (2019)

Keyphrases

agent environment
role playing
formal methods
recurrent neural networks
building blocks
distributed systems
computer systems
asynchronous circuits
neural model
bio inspired
real time
fuzzy logic
management system
mobile robot
learning environment
e learning
genetic algorithm
databases