Login / Signup
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.
Martin Fränzle
Holger Hermanns
Tino Teige
Published in:
HSCC (2008)
Keyphrases
</>
hybrid systems
discrete event
artificial neural networks
active learning
computational intelligence