Publications
In: Bernabé Dorronsoro, Lionel Amodeo, Mario Pavone und Patricia Ruiz (Hg.): Optimization and Learning. Cham, 2021. Cham: Springer International Publishing, S. 283–293. Other Publications Buchholz P [...] Buchholz, J. P. Katoen, P. Kemper, C. Tepper: Model-Checking Large Structured Markov Chains Journal of Logic and Algebraic Programming (2003) 56 (1/2), pp. 69-97. P. Buchholz, P. Kemper: Weak Bisimulation for [...] (eds.): Petri Nets and Performance Models (PNPM'99) IEEE CS-Press (1999). Heiko Krumm: Temporal Logic In: J. Urban, P. Dasgupta (eds.), Encyclopedia of Distributed Systems, Kluwer Academic Publishers …