SMS versenden: Návrh parametrizovateľného generátora náhodných stavov pre potreby pravdepodobnostných plánovacích algoritmov