Paul Kröger

Publication Activity (10 Years)

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

Top Topics

Machine Learning Systems

Formal Verification

Conflict Resolution

Hybrid Automata

Top Venues

it Inf. Technol.

ACM SIGLOG News

Publications