DMCA

Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems (2008)

by Martin Fränzle , Holger Hermanns , Tino Teige
Venue:In Proceedings of the 11th International Conference on Hybrid Systems: Computation and Control (HSCC’08
Citations:13 - 5 self