Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems
Mar 22, 2021
Speakers
Riccardo De Masellis
Speaker · 0 followers
Valentin Goranko
Speaker · 0 followers
About
Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent SystemsLogic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems…
Categories
Mathematics
Category · 2.4k presentations
AI & Data Science
Category · 10.8k presentations
About AAMAS
AAMAS is the largest and most influential conference in the area of agents and multiagent systems, bringing together researchers and practitioners in all areas of agent technology and providing and internationally renowned high-profile forum for publishing and finding out about the latest developments in the field. AAMAS is the flagship conference of the non-profit International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).
Like the format? Trust SlidesLive to capture your next event!
Professional recording and live streaming, delivered globally.
Recommended Videos
Presentations on similar topic, category or speaker