. "Expected value"@en . "Eggers" . "Probabilistic hybrid system"@en . "Andreas" . . . "Stochastic satisfiability modulo theories"@en . "Andreas Eggers" . . . "Formal modeling and analysis"@en . "2935be4e8aad0ed1e108df785c3937d6" .