Aaron Strahlberger

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Top Venues

Publications

Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. VMCAI (1) (2024)
Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. CoRR (2023)