Search results
From MaRDI portal
- Systems Using Probabilistic Model Checking 2014-07-08 Paper Probabilistic Model Checking for Energy-Utility Analysis 2014-06-02 Paper Model checking probabilistic...10 bytes (16 words) - 08:51, 6 October 2023
- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking 2014-07-08 Paper Probabilistic Model Checking for Energy-Utility Analysis 2014-06-02...10 bytes (16 words) - 05:49, 7 October 2023
- assignments 2018-08-10 Paper Fast and flexible probabilistic model counting 2018-08-10 Paper Probabilistic model counting with short XORs 2017-11-15 Paper...10 bytes (16 words) - 18:13, 24 September 2023
- disjunctive project model 2013-11-28 Paper Cost assessment in a probabilistic dynamic model 2004-10-13 Paper A probabilistic model for planning research...10 bytes (18 words) - 06:48, 7 October 2023
- Generating functions for probabilistic programs 2022-03-23 Paper The 10,000 facets of MDP model checking 2022-02-16 Paper Probabilistic model checking of AODV...10 bytes (19 words) - 01:51, 9 December 2023
- with rewards 2018-12-06 Paper Model Checking Probabilistic Systems 2018-07-20 Paper Trade-off analysis meets probabilistic model checking 2018-04-23 Paper...10 bytes (17 words) - 01:51, 9 December 2023
- 2014-08-27 Paper Stochastic modeling and identification of an uncertain computational dynamical model with random fields properties and model uncertainties 2014-08-12...10 bytes (17 words) - 10:28, 11 December 2023
- ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks 2016-01-08 Paper Probabilistic Model Checking of the PDGF Signaling Pathway 2013-04-03...10 bytes (16 words) - 09:46, 24 September 2023
- Publication Type A probabilistic graphical model based stochastic input model construction 2016-12-05 Paper A probabilistic graphical model approach to stochastic...10 bytes (16 words) - 10:46, 6 October 2023
- perspective 2020-02-26 Paper A probabilistic model for the numerical solution of initial value problems 2019-10-18 Paper Probabilistic Line Searches for Stochastic...10 bytes (16 words) - 20:33, 6 October 2023
- Paper Efficient CSL Model Checking Using Stratification 2012-08-15 Paper Automata-Based CSL Model Checking 2011-07-07 Paper A Probabilistic Extension of UML...10 bytes (19 words) - 12:53, 7 October 2023
- Objectives in Model-Free Reinforcement Learning 2023-11-24 Paper \textsf{PFL}: a probabilistic logic for fault trees 2023-08-17 Paper Accelerated model checking...10 bytes (18 words) - 14:05, 7 October 2023
- Divergence for Probabilistic Timed Automata 2009-10-22 Paper Validation of Stochastic Systems 2009-07-24 Paper Model Checking Probabilistic Timed Automata...10 bytes (16 words) - 09:38, 6 October 2023
- collective systems 2023-06-02 Paper FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation 2022-11-09 Paper How adaptive...10 bytes (17 words) - 03:21, 25 September 2023
- Publication Date of Publication Type Model Checking Temporal Properties of Recursive Probabilistic Programs 2024-01-23 Paper Model Checking Temporal Properties...10 bytes (16 words) - 00:06, 25 September 2023
- inductive probabilistic reasoning 2005-12-12 Paper PROBABILISTIC DECISION GRAPHS — COMBINING VERIFICATION AND AI TECHNIQUES FOR PROBABILISTIC INFERENCE...10 bytes (16 words) - 06:36, 7 October 2023
- de/entity/Q5283021 2017-07-18 Paper Belief revision in structured probabilistic argumentation, model and application to cyber security 2017-04-27 Paper An approach...10 bytes (19 words) - 12:17, 6 October 2023
- Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison 2020-06-26 Paper On the probabilistic bisimulation...10 bytes (16 words) - 09:06, 25 September 2023
- rules of order two 2012-09-03 Paper Geostatistical Model Averaging for Locally Calibrated Probabilistic Quantitative Precipitation Forecasting 2012-03-22...10 bytes (14 words) - 15:14, 6 December 2023
- 2024-02-01 Paper Probabilistic interpretation of the Cauchy problem for systems of nonlinear parabolic equations 2023-02-28 Paper Stochastic model of chemotaxis...10 bytes (18 words) - 22:01, 10 December 2023
