An importance value for temporal logics
An importance value for temporal logics
Talk by Simon Jantsch
- Location: Online
- Start: 20. May 2021 at 1:00 pm
- End: 20. May 2021 at 2:30 pm
- Event series: Research Seminar Logic and AI
- iCal
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