Probabilistic verification beyond context-freeness
<p>Probability theory and probabilistic modelling have become indispensable across a wide range of scientific disciplines, with probabilistic programs emerging as a particularly flexible means of encoding sophisticated models in executable code. These programs, which merge traditional programm...
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | أطروحة |
| اللغة: | English |
| منشور في: |
2024
|
| الموضوعات: |