{"id":4265,"date":"2021-01-28T16:04:10","date_gmt":"2021-01-28T15:04:10","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=4265"},"modified":"2021-03-22T11:53:54","modified_gmt":"2021-03-22T10:53:54","slug":"lira-session-valentin-goranko-2","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2021\/01\/lira-session-valentin-goranko-2\/","title":{"rendered":"LIRa Session: Valentin Goranko"},"content":{"rendered":"<p>Speaker: <a href=\"https:\/\/www2.philosophy.su.se\/goranko\/\">Valentin Goranko<\/a><\/p>\n<p>Date and Time: Thursday, March&nbsp;11th 2021, 16:30-18:00, <a href=\"https:\/\/www.timeanddate.com\/time\/zone\/netherlands\/amsterdam\" target=\"_blank\" rel=\"noopener noreferrer\">Amsterdam time<\/a>.<\/p>\n<p>Venue: <strong><a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a><\/strong>.<\/p>\n<p><strong>Title: The temporal logic of coalitional goal assignments in concurrent multi-player games<b>.<\/b><br \/>\n<\/strong><\/p>\n<p><em>Abstract. <\/em>I will present\u00a0a natural extension of the Alternating time temporal logic ATL, called Temporal Logic of Coalitional Goal Assignments (TLCGA). It features just one, but quite expressive, coalitional strategic operator, called\u00a0\u201ccoalitional goal assignment operator\u201d.\u00a0It\u00a0is based on a mapping assigning to each set\u00a0(coalition)\u00a0of players in the game its coalitional goal, formalised\u00a0(like in ATL)\u00a0by a path formula of the language of TLCGA\u00a0\u00a0representing a temporalised objective for the respective coalition describing the property of the plays on which that objective is satisfied.<\/p>\n<p style=\"font-weight: 400;\">I will\u00a0illustrate\u00a0the use of the logic\u00a0TLCGA with some examples. In particular, I will introduce the new solution concept\u00a0of \u201cco-equilibrium\u201d, which is particularly suitable for multi-player games with qualitative coalitional objectives, and will show that it can be naturally expressed in\u00a0TLCGA.<\/p>\n<p style=\"font-weight: 400;\">Time permitting, I will then outline our main technical results for that logic, including:\u00a0fixpoint characterizations of the temporal goal assignment\u00a0operators in a mu-calculus extension of TLCGA,\u00a0bisimulation invariance and Hennessy-Milner property with respect to a suitably defined notion of bisimulation;\u00a0a sound and complete axiomatic system, and decidability\u00a0of satisfiability\u00a0via finite model property.<\/p>\n<p><span lang=\"EN-US\">This is joint work with <\/span>Sebastian Enqvist, available <a href=\"https:\/\/arxiv.org\/abs\/2012.14195\">here<\/a>. See <a href=\"https:\/\/video.uva.nl\/media\/LIRa+seminar+on+2021-03-11+by+Valentin+Goranko\/0_u3qk44l4\">here<\/a> for the recording of the talk.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Valentin Goranko<br \/>\nDate and Time: Thursday, March&nbsp;11th 2021, 16:30-18:00, Amsterdam time.<br \/>\nVenue: online.<br \/>\nTitle: The temporal logic of coalitional goal assignments in concurrent multi-player games.<\/p>\n<p>Abstract. I will present\u00a0a natural extension of the Alternating time temporal logic ATL, called Temporal Logic of Coalitional Goal Assignments (TLCGA). It features just one, but quite expressive, coalitional strategic operator, called\u00a0\u201ccoalitional goal [&#8230;]<\/p>\n","protected":false},"author":12,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-4265","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4265","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=4265"}],"version-history":[{"count":4,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4265\/revisions"}],"predecessor-version":[{"id":4345,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4265\/revisions\/4345"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=4265"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=4265"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=4265"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}