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.