Update options detection paper to the AAMAS version