Automata and Logics for Asynchronous Hyperproperties

Speaker

Markus Müller-Olm

Affiliation

University of Münster

Type

Scientific Talk

Abstract

In this talk I would like to survey our work on automata and logics for asynchronous hyperproperties and on decision problems of interest for the resulting formalisms.