Search for persons
X
?
5
Boolean-logic driven Markov processes
explained. analysed. verified.
Aachener Informatik-Berichte (AIB) ; 2022, 02;Technical report / Department of Computer Science, RWTH Aachen