Pages that link to "Item:Q5194919"
From MaRDI portal
The following pages link to Quantitative Evaluation of Systems (Q5194919):
Displaying 14 items.
- Reachability in parametric interval Markov chains using constraints (Q1786613) (← links)
- Extending Parikh’s Theorem to Weighted and Probabilistic Context-Free Grammars (Q5194920) (← links)
- Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes (Q5194923) (← links)
- A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets (Q5194925) (← links)
- A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage (Q5194927) (← links)
- On the Cost of Diagnosis with Disambiguation (Q5194928) (← links)
- Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms (Q5194930) (← links)
- Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes (Q5194931) (← links)
- Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking (Q5194932) (← links)
- Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems (Q5194934) (← links)
- Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking (Q5194935) (← links)
- Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems (Q5194936) (← links)
- Deciding Bisimilarities on Distributions (Q5415456) (← links)
- Automatic pre- and postconditions for partial differential equations (Q5918408) (← links)
