1 paper
Chris Martens, Eric Butler, Joseph C. Osborn
Designers of autonomous agents, whether in physical or virtual environments, need to express nondeterminisim, failure, and parallelism in behaviors, as well as accounting for synch…