Cite

HARVARD Citation

    Nigro, C. et al. (2020). Formal reasoning on knowledge and commitments in multi-agent systems using Theatre. Simulation. pp. 233-250. [Online]. 
  
Back to record