Inspiriert durch stochastische Logiken wurde kürzlich eine quantitative Erweiterung der existierenden Satisfiability Modulo Theory (SMT) entwickelt. Diese, sogenannte Stochastic Satisfiability Modulo Theory, erweitert die SMT, indem neben den All- und Existenz-Quantoren weitere, randomisierte Quantoren eingeführt wurden. Das Lösen der entsprechenden SSMT Formeln unter der Einschränkung von diskreten Quantoren wurde bereits durch Tino Teige et al. adressiert. Einer der größten limitierenden Faktoren solcher Ansätze ist, dass die Quantoren auf beschränkte Bereiche über endlichen Grundmengen limitiert sind. Um kontinuierliche Verteilungen in existierende SSMT Methoden zu integrieren, soll in dieser Arbeit die Erweiterung SSMT over continuous quantifier domains (CSSMT) entwickelt werden, welche die erwähnten Einschränkungen relaxiert, sodass nun auch SSMT Ausdrücke behandelt werden können welche Verteilungen mit kontinuierlichem Träger beinhalten. <dt.>
Stochastic Satisfiability Modulo Theories (SSMT) is a quantitative extension of Satisfiability Modulo Theories (SMT) inspired by stochastic logics. It extends SMT by randomized quantifiers, facilitating capture of stochastic game properties in the logic, like reachability analysis of hybrid-state Markov decision processes. Solving SSMT formulae with quantification over finite and thus discrete domain has been addressed by Tino Teige et al. A major limitation of the SSMT solving approach is that all quantifiers are confined to range over finite domains. As this implies that the support of probability distributions have to be finite, a large number of phenomena cannot be expressed within the SSMT framework. To overcome this limitation, this thesis relaxes the constraints on the domains of randomized variables, now also admitting dense probability distributions in SSMT solving, which yields SSMT over continuous quantifier domains (CSSMT). <engl.>
Workshop on Symbolic and Numerical Methods for Reachability Analysis (2. : 2016 : Wien) Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) Piscataway, NJ : IEEE, 2016 (2016), insges. 6 S. 1 Online-Ressource
International journal of distributed sensor networks London : Sage Publishing, 2005 Bd. 12 (2016), 5, Article ID 1576038, insges. 28 S. Online-Ressource
2014 IEEE Ninth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP 2014) Piscataway, NJ : IEEE, 2014 (2014), Seite 1-6 675 S.
