2,561 followers
On the Modeling and Verification of Collective and Cooperative Systems https://t.co/Ig9GAZ3D59
On the Modeling and Verification of Collective and Cooperative Systems https://t.co/Ig9GAZ3D59
RT @FrontRoboticsAI: New Research: On the Modeling and Verification of Collective and Cooperative Systems: The formal description and verif…
New Research: On the Modeling and Verification of Collective and Cooperative Systems: The formal description and verification of networks of cooperative and interacting agents is made difficult by the interplay of several different… https://t.co/kMmzZOs8Cw