Specification and Verification of Multi-agent Systems, Fachbücher von Mehdi Dastani, John-Jules Meyer, Koen V. Hindriks

Mehdi Dastani (u. A.) | Specification And Verification Of Multi-agent

Specification And Verification Of Multi-agent Systems 2832

Interactive Systems: Design, Specification, and Verification, Fachbücher

Koen V. Hindriks (u. A.) | Programming Multi-agent Systems |

Engineering Multi-Agent Systems, Fachbücher von Matteo Baldoni, Mehdi Dastani, Luciano Baresi

Specification and Seamless Verification ofEmbedded Real-Time Systems, Fachbücher

Programming Multi-Agent Systems, Fachbücher von Mehdi Dastani, Brain Logan, Jomi F. Hübner

Programming Multi-Agent Systems, Fachbücher von Michael Winikoff, Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro ...

Agent and Multi-Agent Systems: Technologies and Applications, Fachbücher

Computational Logic in Multi-Agent Systems, Fachbücher von Michael Fisher, Guido Governatori, Leon van der Torre, Mehdi ...

PRIMA 2019: Principles and Practice of Multi-Agent Systems, Fachbücher von Matteo Baldoni, Beishui Liao, Rym Zalila Wenk...

Collective Behavior and Formation Pattern of Multi-agent Systems, Fachbücher

PRIMA 2018: Principles and Practice of Multi-Agent Systems, Fachbücher

Communication Protocol Specification and Verification, Fachbücher

Interactive Systems Design, Specification, And Verification Doherty