FORMAL VERIFICATION OF NEURAL AGENTS IN NON-DETERMINISTIC

Bibliographische Detailangaben

Veröffentlicht in:	AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 1 of 3
1. Verfasser:	Akintunde, Michael E. (VerfasserIn)
Weitere Verfasser:	Botoeva, Elena (VerfasserIn), Kouvaros, Panagiotis (VerfasserIn), Lomuscio, Alessio (VerfasserIn)
Pages:	2020
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!