Search results

systems 2018-10-12 Paper Probabilistic models of the conservation and balance laws in switching regimes 2018-04-25 Paper Probabilistic algorithms for numerical...

of non-interference security: probabilistic versus possibilistic 2015-03-25 Paper Real-reward testing for probabilistic processes 2014-06-06 Paper Remarks...

Compactness and D-Boundedness in Menger’s 2-probabilistic normed spaces 2017-07-19 Paper On probabilistic paranormed spaces and couplae 2017-06-09 Paper...

Real-reward testing for probabilistic processes 2014-06-06 Paper Probabilistic Barbed Congruence 2014-01-17 Paper Remarks on Testing Probabilistic Processes 2013-12-06...

Properties of Recursive Probabilistic Programs 2024-01-23 Paper Model Checking Temporal Properties of Recursive Probabilistic Programs 2024-01-16 Paper...

upper and lower probabilities 2020-05-27 Paper Probabilistic justification logic 2020-04-29 Paper Probabilistic consensus of the blockchain protocol 2020-02-20...

Linear-Invariant Generation for Probabilistic Programs: 2010-10-01 Paper Compositional Closure for Bayes Risk in Probabilistic Noninterference 2010-09-07 Paper...

Type Explainability of probabilistic bisimilarity distances for labelled Markov chains 2023-11-24 Paper Deciding probabilistic bisimilarity distance one...

Linear-Invariant Generation for Probabilistic Programs: 2010-10-01 Paper Compositional Closure for Bayes Risk in Probabilistic Noninterference 2010-09-07 Paper...

multinomial probabilistic values 2018-05-24 Paper Coalitional multinomial probabilistic values 2016-10-06 Paper Some properties for probabilistic and multinomial...

Handling epistemic and aleatory uncertainties in probabilistic circuits 2022-08-10 Paper Neural probabilistic logic programming in DeepProbLog 2021-11-02 Paper...

specification of probabilistic transition systems 2016-07-07 Paper Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata 2016-06-17...

Weak nonmonotonic probabilistic logics 2007-10-23 Paper Probabilistic description logic programs 2007-07-19 Paper Nonmonotonic probabilistic logics under variable-strength...

\(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs 2016-10-17 Paper Probabilistic logic programming for hybrid relational domains...

2022-05-11 Paper Gel'fand-\(N\)-width in probabilistic setting 2022-01-20 Paper Estimates of entropy numbers in probabilistic setting 2021-11-29 Paper https://portal...

\(\Gamma\)-statistical convergence in probabilistic normed spaces 2017-01-26 Paper Order continuous probabilistic Riesz norms 2016-06-13 Paper On exhaustive...

Concurrency in Probabilistic Programming Languages 2013-06-06 Paper Probabilistic Confinement in a Declarative Framework 2013-05-24 Paper Probabilistic Semantics...

Publication Type \textsf{PFL}: a probabilistic logic for fault trees 2023-08-17 Paper Model-Based Testing of Probabilistic Systems with Stochastic Time 2022-07-01...

for Abstract Probabilistic Automata 2015-12-11 Paper Heterogeneous Timed Machines 2015-01-13 Paper Refinement and Difference for Probabilistic Automata 2014-09-05...

withp-Multiplicative Probabilistic Zeta Function 2007-12-17 Paper https://portal.mardi4nfdi.de/entity/Q3593978 2007-08-07 Paper The probabilistic zeta function...