research
∙
05/30/2023
The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies
Alternating-time temporal logic (ATL) and its extensions, including the ...
share
research
∙
05/26/2023
Argumentation Schemes for Blockchain Deanonymization
Cryptocurrency forensics became standard tools for law enforcement. Thei...
research
∙
05/18/2023
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics
There is a wide range of modal logics whose semantics goes beyond relati...
research
∙
11/29/2022