Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification.

Rodica Condurache, Riccardo De Masellis, Valentin Goranko

Browse the full PRIMA paper archive.