Merlin Humml

According to our database, Merlin Humml authored at least 6 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Generic Model Checking for Modal Fixpoint Logics in COOL-MC.

Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies.

Merlin Humml, Lutz Schröder, Dirk Pattinson

CoRR, 2023

Argumentation Schemes for Blockchain Deanonymization.

Dominic Deuber, Jan Gruber, Merlin Humml, Viktoria Ronge, Nicole Scheler

CoRR, 2023

COOL 2 - A Generic Reasoner for Modal Fixpoint Logics.

Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder

CoRR, 2023

COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description).

Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder

Proceedings of the Automated Deduction - CADE 29, 2023

Common Knowledge of Abstract Groups.

Merlin Humml, Lutz Schröder

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023