Edventure: Gamification for collaborative problem design and solving | IEEE Conference Publication | IEEE Xplore