Formal approach of chance discovery theory for agents' interaction | IEEE Conference Publication | IEEE Xplore