„probabilistic program“

Suchergebnisse

392 Treffer

• Numerical Software Verification – 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
  Bogomolov, Sergiy ; Martel, Matthieu ; Prabhakar, Pavithra 2017 Springer Berlin Heidelberg
• ProLom Program for Probabilistic Location of Earthquakes Using Macroseismic and Instrumental Data
  Asming, V. E. ; Morozov, A. N. ; Fedorov, A. V. ; Vaganova, N. V.
• Joint dynamic probabilistic constraints with projected linear decision rules
  Guigues, Vincent ; Henrion, René 2016 Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik
• Hölder and Lipschitz Stability of Solution Sets in Programs with Probabilistic Constraints
  Henrion, René ; Römisch, Werner 2003 Humboldt-Universität zu Berlin
• On Stochastic Integer Programming under Probabilistic Constraints
  Dentcheva, Darinka ; Prékopa, András ; Ruszczyński, Andrzej P. 2005 Humboldt-Universität zu Berlin
• Structural Properties of Linear Probabilistic Constraints
  Henrion, René 2005 Humboldt-Universität zu Berlin
• Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext
  Winterer, Leonore ; Junges, Sebastian ; Wimmer, Ralf ; Jansen, Nils ; Topcu, Ufuk ; Katoen, Joost-Pieter ; Becker, Bernd 2018 Universitätsbibliothek Tübingen
• Denotational Semantics for Probabilistic and Concurrent Programs
  Zilberstein, Noam ; Gorla, Daniele ; Silva, Alexandra 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Principles of Verification: Cycling the Probabilistic Landscape – Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
  Jansen, Nils ; Junges, Sebastian ; Kaminski, Benjamin Lucien ; Matheja, Christoph ; Noll, Thomas ; Quatmann, Tim ; Stoelinga, Mariëlle ; Volk, Matthias 2025 Springer Nature Switzerland, Imprint: Springer
• Principles of Verification: Cycling the Probabilistic Landscape – Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
  Jansen, Nils ; Junges, Sebastian ; Kaminski, Benjamin Lucien ; Matheja, Christoph ; Noll, Thomas ; Quatmann, Tim ; Stoelinga, Mariëlle ; Volk, Matthias 2025 Springer Nature Switzerland, Imprint: Springer
• Foundations of probabilistic programming
  Barthe, Gilles ; Katoen, Joost-Pieter ; Silva, Alexandra 2020 Universitätsbibliothek der RWTH Aachen
• Approaches to Probabilistic Model Learning for Mobile Manipulation Robots
  Sturm, Jürgen 2013 Springer Berlin Heidelberg
• Checking probabilistic noninterference using JOANA
  Snelting, Gregor ; Giffhorn, Dennis ; Graf, Jürgen ; Hammer, Christian ; Hecker, Martin ; Mohr, Martin ; Wasserrab, Daniel
• Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
  Batz, Kevin ; Katoen, Joost-Pieter ; Randone, Francesca ; Winkler, Tobias 2025 Universitätsbibliothek der RWTH Aachen
• Extending the software tool RAMA in response to some open questions of probabilistic safety assessment/Erweiterung des Programms RAMA im Hinblick auf einige offene Fragen der probabilistischen Sicherheitsanalyse
  Kirchsteiger, C. ; Reusens, B.
• Finding reliable solutions: event-driven probabilistic constraint programming
  Tarim, S. Armagan ; Hnich, Brahim ; Prestwich, Steven ; Rossi, Roberto
• Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)
  Schmid, Ute ; Muggleton, Stephen H. ; Singh, Rishabh
• Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)
  Hernández-Orallo, José ; Muggleton, Stephen H. ; Schmid, Ute ; Zorn, Benjamin
• Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)
  Barthe, Gilles ; Gordon, Andrew D. ; Katoen, Joost-Pieter ; McIver, Annabelle
• Design and Analysis of Randomized and Approximation Algorithms (Dagstuhl Seminar 11241)
  Dyer, Martin ; Feige, Uriel ; Frieze, Alan M. ; Karpinski, Marek