Realizing Omega-regular Hyperproperties.

Bernd Finkbeiner Christopher Hahn Jana Hofmann Leander Tentrup

Published in: CoRR (2021)

Keyphrases

email
general purpose
high level
real life
upper bound