Login / Signup
Lennart Haas
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Safety Analysis
Object Recognition
Genetic Algorithm
Invariant Representations
Top Venues
CSF
CoRR
</>
Publications
</>
Bernd Finkbeiner
,
Lennart Haas
,
Hazem Torfah
Canonical Representations of k-Safety Hyperproperties.
CoRR
(2020)
Bernd Finkbeiner
,
Lennart Haas
,
Hazem Torfah
Canonical Representations of k-Safety Hyperproperties.
CSF
(2019)