Login / Signup
Michael E. Akintunde
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Model Checking
Autonomous Entities
Formal Verification
Open Environments
Top Venues
Auton. Agents Multi Agent Syst.
Applicable Formal Methods for Safe Industrial Products
AAMAS
KR
</>
Publications
</>