Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems

by · Mar 22, 2021 · 14 views ·

AAMAS

Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems