Knowledge-Based Strategies for Multi-Player Games with Imperfect Information
We are happy to present Dilian Gurov, Associate Professor at the Department of Theoretical Computer Science (TCS) of the School of Electrical Engineering and Computer Science (EECS) of the Royal Institute of Technology (KTH) in Stockholm. He is also Coordinator of the Doctoral Programme in Computer Science at the CSC school.
His research interests include Software Verification, Software Safety and Security, and more recently Multi-agent Systems. He has published roughly 10 journal papers and 30 refereed conference papers.
Date and time: 28 January 2021, 12pm – 1 pm
Speaker: Dilian Gurov
Title: Knowledge-Based Strategies for Multi-Player Games with Imperfect Information
Zoom: https://kth-se.zoom.us/j/67432682790?pwd=dVgzbjRSbUVFT2FOYTByYlZrTU9BUT09
Meeting ID: 674 3268 2790
Password: DF2020
Watch the recorded presentation:
Abstract: In this talk Dilian Gurov will propose a notion of Knowledge for agents in multi-agent systems that play as a team towards achieving a common objective. Based on this notion, he will define a class of knowledge-based strategies, and will show how higher-order knowledge, i.e. knowledge about the knowledge of other agents, increases the abilities of a team to achieve objectives. This aspect of knowledge will be presented and studied in the context of a class of games over finite graphs, called Multi-Player Games with Imperfect Information. Dilian Gurov will introduce a construction applied to such games, the iterative application of which will turn out to compute higher-order knowledge of the agents, and will show how this construction can be used for the design of knowledge-based strategies.
Bio: Dilian Gurov is an Associate Professor in Computer Science. He is also Coordinator of the Doctoral Programme in Computer Science at the CSC school. Before joining KTH in 2002, Dilian obtained a Ph.D. from the University of Victoria, Canada (1998), and worked at the Swedish Institute of Computer Science (1997-2002).
His research interests include Software Verification, Software Safety and Security, and more recently Multi-agent Systems. He has published roughly 10 journal papers and 30 refereed conference papers.
Dilian has an EASST award for Best Software Science Paper for his paper: Checking Absence of Illicit Applet Interactions: A Case Study. Marieke Huisman, Dilian Gurov, Christoph Sprenger, and Gennady Chugunov. In Proceedings of: FASE’04, Lecture Notes in Computer Science, vol. 2984, pp. 84-98.
Dilian’s most notable personal grants are from the Swedish Science Foundation VR, which has funded the projects SEFROS (2003 till 2006) and ContraST (2009 till 2011). He has also been co-applicant on a number of successful Swedish and European project proposals.
Of industrial relevance is his recent collaboration with Scania on Functional Verification of C programs, supported via VINNOVA.
Dilian’s service to the scientific community includes the following assignments: FASE 2017 (PC member), ISoLA 2016 (PC member and Track2 co-organizer), iFM 2016 (PC member), VeCoDiS 2015 (a Lorentz workshop, co-organizer), FMSPLE 2015 (PC member), UaESMC 2014 (an ESORICS workshop, PC member), WING 2014 (PC member), FMSPLE 2013 (PC member), FoVeOOS 2011 (PC co-chair), ACM SAC 2010 (Software Verification and Testing track, PC member), FoVeOOS 2010 (PC member), PoFI 2010 (PC member), SAVCBS 2009 (PC member).