„probabilistic verification“

Suchergebnisse

1.000+ Treffer

• Experimental verification for a probabilistic model of fibers distribution along a reinforced concrete bar
  Karinsrki, Yuri S. ; Dancygier, Avraham N. ; Navon, Zeev
• ProFeat – Feature-oriented engineering for family-based probabilistic model checking
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel 2020 Technische Universität Dresden
• Relatively complete verification of probabilistic programs – an expressive language for expectation-based reasoning
  Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph 2021 Universitätsbibliothek der RWTH Aachen
• Verification of Derandomized Probabilistic Algorithms
  Karayel, Muhammed Emin ; Nipkow, Tobias ; Thiemann, René ; Kiam, Tan Yong 2025 Universitätsbibliothek der TU München
• Dependable Software Engineering. Theories, Tools, and Applications – Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  Larsen, Kim Guldstrand ; Sokolsky, Oleg ; Wang, Ji 2017 Springer International Publishing
• Quantitative Verification with Neural Networks
  Abate, Alessandro ; Edwards, Alec ; Giacobbe, Mirco ; Punchihewa, Hashan ; Roy, Diptarko 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Monte Carlo simulation approach to Aftershock Probabilistic Seismic Hazard Analysis (APSHA): methodology and verification
  Kavand, Ali ; Saghatforoush, Khatereh
• Verification of probabilistic seasonal rainfall forecasts for Fiji Islands
  Pratap, Arti ; Khan, M. G. M. ; Ongoma, Victor ; Lim Kam Sian, Kenny T.C ; Sagero, Philip
• Projection in a probabilistic epistemic logic and its application to belief-based program verification
  Liu, Daxin ; Lakemeyer, Gerhard ; Belle, Vaishak 2023 Universitätsbibliothek der RWTH Aachen
• Towards a new methodology for design, modelling, and verification of reconfigurable distributed control systems based on a new extension to the IEC 61499 standard
  Guellouz Ep Addad, Safa 2021 Saarländische Universitäts- und Landesbibliothek
• The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems
  Sanjay 2024 tredition
• Formal Methods for Probabilistic Energy Models
  Daum, Marcus ; Baier, Christel ; Parker, David 2019 Technische Universität Dresden
• Model-driven software development and verification solutions for safety critical battery management systems – a quantitative evaluation of probabilistic inference & artificial intelligence methods
  Fleischer, Christian ; Sauer, Dirk Uwe ; Schaltz, Erik 2020 Universitätsbibliothek der RWTH Aachen
• Communication-Efficient Probabilistic Algorithms: Selection, Sampling, and Checking
  Hübschle-Schneider, Lorenz ; Sanders, P. 2020 KIT-Bibliothek
• New results on probabilistic verification – automata, logic and satisfiability
  Chakraborty, Souymodip ; Katoen, Joost-Pieter ; Zhang, Lijun 2019 Universitätsbibliothek der RWTH Aachen
• Automated deductive verification of probabilistic programs
  Batz, Kevin ; Katoen, Joost-Pieter ; Hasuo, Ichiro 2024 Universitätsbibliothek der RWTH Aachen
• Wind Power Ensemble Forecasting – Performance Measures and Ensemble Architectures for Deterministic and Probabilistic Forecasts
  Gensler, André 2019 Kassel University Press
• Analysis of unreinforced Masonry Structures with Uncertain Data – Engineering Methods in Verification of Unreinforced Masonry Walls Subjected to In-Plane Shear (Probabilistic and Fuzzy Approach)
  Montazerolghaem, Mahdi ; Jäger, Wolfram ; Graf, Wolfgang ; Beer, Michael 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Winter wind storms – Identifcation, verifcation of decadal predictions, and regionalization
  Kruschke, Tim 2015 Freie Universität Berlin
• Probabilistic Maneuver Recognition in Traffic Scenarios
  Firl, Jonas 2015 KIT Scientific Publishing