VERIFYING STRATEGIC ABILITIES OF NEURAL-SYMBOLIC MULTI-AGENT SYSTEMS

von Akintunde, Michael E.
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

Reachability Analysis for Neural Agent-Environment Systems

von Akintunde, Michael E.
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

FORMAL VERIFICATION OF NEURAL AGENTS IN NON-DETERMINISTIC

von Akintunde, Michael E.
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 1 of 3 (2021)

On Testing Ethical Autonomous Decision-Making

von Akintunde, Michael E.
Veröffentlicht in Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products (2023)