HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Yang Gao

Publications
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
Yang Gao and Martin Fränzle
In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015

Keyphrases

constraint solving, hybrid system, reachability analysis, Stochastic Satisfiability Modulo Theory.

Copyright © 2012-2025 easychair.org. All rights reserved.