Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"parameter synthesis"”.
-
Verification of Hybrid Systems using Satisfiability Modulo Theories
… verification, scenario verification and parameter synthesis. The algorithms fully exploit the underlying structure of a network of hybrid systems and the functionalities of modern SMT-solvers. We show and discuss the effectiveness of the the proposed techniques when applied to benchmarks …
-
Diagnosis, synthesis and analysis of probabilistic models
… diagnosis --- generating counterexamples, synthesis --- providing valid parameter values and analysis --- verifying linear real-time properties. The three aspects are relatively independent while all contribute to developing new theory and algorithms in the research field of probabilistic …