Daniel Hausmann

Registered user since Fri 27 Nov 2020

Name:Daniel Hausmann
Country:Germany
Affiliation:Friedrich-Alexander-Universität Erlangen-Nürnberg
Research interests:Modal Logic, Fixpoint Theory, Automata and Games

Contributions

VMCAI 2021 Committee Member in Artifact Evaluation Committee within the VMCAI-track
VMCAI 2020 Author of Cheap CTL Compassion in NuSMV within the VMCAI 2020-track
FOSSACS 2019 Author of Optimal Satisfiability Checking for Arithmetic mu-Calculi within the FOSSACS 2019-track