Merlin Humml

Publication Activity (10 Years)

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

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)
Nathan Dykes, Stephanie Evert, Philipp Heinrich, Merlin Humml, Lutz Schröder
Finding Argument Fragments on Social Media with Corpus Queries and LLMs. RATIO (2024)
Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). CADE (2023)
Merlin Humml, Lutz Schröder, Dirk Pattinson
The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies. CoRR (2023)
Dominic Deuber, Jan Gruber, Merlin Humml, Viktoria Ronge, Nicole Scheler
Argumentation Schemes for Blockchain Deanonymization. CoRR (2023)
Merlin Humml, Lutz Schröder
Common Knowledge of Abstract Groups. AAAI (2023)
Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics. CoRR (2023)
Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. CoRR (2023)
Merlin Humml, Lutz Schröder
Common Knowledge of Abstract Groups. CoRR (2022)