An importance value for temporal logics

Vortrag von Simon Jantsch

Veranstaltungsort: online
Beginn: 20. Mai 2021 um 13:00
Ende: 20. Mai 2021 um 14:30
Event series: Research Seminar Logic and AI
iCal

We give a brief account of the Shapley value, which is a powerful and elegant formalism aimed at distributing a surplus achieved jointly by a group of agents to the individual members.

It was first studied in theoretical economics, but has since influenced many domains. Using this concept, we derive a notion of importance of states in a system with respect to satisfying a given temporal logic specification. The aim is to measure how much the nondeterministic choices of a state influence the capacity of the system as a whole to satisfy the specification. We will mainly consider linear temporal logic, for which we study the exact complexity of determining the importance value. Finally, we discuss how the formalism can be applied to computation tree logic and what additional challenges that brings.

This talk will have a duration of approximately 30 minutes and takes place online via BigBlueButton. To access the room, take one of the following links:

with ZIH-login:

https://selfservice.zih.tu-dresden.de/l/link.php?m=115787&p=a346519e

without ZIH-login:

https://selfservice.zih.tu-dresden.de/link.php?m=115787&p=c9c0523a