Matteo Baldoni
agent communication agent cooperation agent coordination agent reasoning agent systems design agent systems specification agent verification autonom autonomous agents cognition communication complexity declarative agent language formal methods logic