Seminarium, Teoretisk datalogi

Valentin Goranko: Logical modelling, specification, verification and synthesis of multi-agent systems: an introduction

20 mar

Seminarium, Teoretisk datalogi

måndag 2017-03-20, 13.15

Medverkande: Valentin Goranko, (Stockholm University)

Plats: Room Biblioteket 1440, Lindstedtsvägen 3

2017-03-20T13:15:00.000+01:00 2017-03-20T13:15:00.000+01:00 Valentin Goranko: Logical modelling, specification, verification and synthesis of multi-agent systems: an introduction (Seminarium, Teoretisk datalogi) Room Biblioteket 1440, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Valentin Goranko: Logical modelling, specification, verification and synthesis of multi-agent systems: an introduction (Seminarium, Teoretisk datalogi)