Author:
Hausmann Daniel,Litak Tadeusz,Rauch Christoph,Zinner Matthias
Publisher
Springer International Publishing
Reference38 articles.
1. Baier, C., Katoen, J.-P.: Principles of Model Checking (Representation and Mind Series). The MIT Press (2008)
2. Benerecetti, M., Dell’Erba, D., Mogavero, F.: A delayed promotion policy for parity games. Inf. Comput. 262, 221–240 (2018). Special issue GandALF 2016
3. Bruse, F., Falk, M., Lange, M.: The fixpoint-iteration algorithm for parity games. In: Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2014), pp. 116–130 (2014)
4. Lecture Notes in Computer Science;O Bunte,2019
5. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: $$10^{20}$$ states and beyond. Inf. Comput. 98(2), 142–170 (1992)