Skip to main content
What types of page to search?

Alternatively use our A-Z index.

Daniel Hausmann

Dr Daniel Hausmann

Contact

D.Hausmann@liverpool.ac.uk

+44 (0)151 795 1676 Ext. 51676

Publications

What type of publication do you want to show?

2024

Generic Model Checking for Modal Fixpoint Logics in COOL-MC

Hausmann, D., Humml, M., Prucker, S., Schröder, L., & Strahlberger, A. (2024). Generic Model Checking for Modal Fixpoint Logics in COOL-MC. In Lecture Notes in Computer Science (pp. 171-185). Springer Nature Switzerland. doi:10.1007/978-3-031-50524-9_8

DOI
10.1007/978-3-031-50524-9_8
Chapter

2023

Games for Efficient Supervisor Synthesis

Hausmann, D., Jha, P. K., & Piterman, N. (2023). Games for Efficient Supervisor Synthesis. IEEE Control Systems Letters, 7, 2881-2885. doi:10.1109/lcsys.2023.3290727

DOI
10.1109/lcsys.2023.3290727
Journal article

2022

A Survey on Satisfiability Checking for the $$\mu $$-Calculus Through Tree Automata

Hausmann, D., & Piterman, N. (2022). A Survey on Satisfiability Checking for the $$\mu $$-Calculus Through Tree Automata. In Lecture Notes in Computer Science (pp. 228-251). Springer Nature Switzerland. doi:10.1007/978-3-031-22337-2_11

DOI
10.1007/978-3-031-22337-2_11
Chapter

2021

2020

Cheap CTL Compassion in NuSMV

Hausmann, D., Litak, T., Rauch, C., & Zinner, M. (2020). Cheap CTL Compassion in NuSMV. In Lecture Notes in Computer Science (pp. 248-269). Springer International Publishing. doi:10.1007/978-3-030-39322-9_12

DOI
10.1007/978-3-030-39322-9_12
Chapter

2019

2018

2015

Global Caching for the Flat Coalgebraic µ-Calculus

Hausmann, D., & Schroder, L. (2015). Global Caching for the Flat Coalgebraic µ-Calculus. In 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) (pp. 121-130). IEEE. doi:10.1109/time.2015.15

DOI
10.1109/time.2015.15
Conference Paper