There is a growing trend towards autonomy in present and forthcoming computing applications, including web-services and autonomous vehicles. Many of these applications are based on the concept of autonomous agent.
The group focuses on developing methods aimed at verifying that autonomous multi-agent systems meet their specifications. Specifically, the group is concerned with developing efficient model checking techniques and tools to verify multi-agent systems specified by agent-based logics. The research draws from areas such as modal logic, multi-agent systems, and model checking.