Lukas Wilke

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Probabilistic Approaches

Probability Theory

Top Venues

Publications

Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Probabilistic Hyperproperties with Rewards. NFM (2022)