Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification Et al. and Rodica Condurache PRIMA 2019: 106-122 Project(s): DOI BIB
