Martin Berger

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Imbalanced Data Classification

Declarative Semantics

Active Learning Strategies

Active Learning

Top Venues

Sci. Comput. Program.

Publications

Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
LTL learning on GPUs. CoRR (2024)
Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
LTL Learning on GPUs. CAV (3) (2024)
Harold Pancho Eliott, Martin Berger
A program logic for fresh name generation. Sci. Comput. Program. 223 (2022)
Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong
ALARM: Active LeArning of Rowhammer Mitigations. CoRR (2022)
Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong
ALARM: Active LeArning of Rowhammer Mitigations. HASP@MICRO (2022)