Verification of Multi-agent Negotiations Using the Alloy Analyzer.

Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang

Browse the full IFM paper archive.