Statistical probabilistic model checking with a focus on time-bounded properties

From MaRDI portal
Publication:2509358

DOI10.1016/j.ic.2006.05.002zbMath1110.68077OpenAlexW2067971887MaRDI QIDQ2509358

Håkan L. S. Younes, Reid G. Simmons

Publication date: 19 October 2006

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2006.05.002




Related Items (20)

Abstraction of Markov population dynamics via generative adversarial netsProbabilistic verification of a biodiesel production system using statistical model checkingOn Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri NetsTwenty years of rewriting logicGenerative abstraction of Markov population processesDistribution estimation for probabilistic loopsProbabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian InferenceDecoding Output Sequences for Discrete-Time Linear Hybrid Systems.Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.Sampling-Based Verification of CTMCs with Uncertain RatesStatistical Verification of Probabilistic Properties with Unbounded UntilAutomaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population modelsBayesian statistical model checking with application to Stateflow/Simulink verificationSynthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinementFaster statistical model checking for unbounded temporal propertiesOn simulation-based probabilistic model checking of mixed-analog circuitsStatistical Model Checking Using Perfect SimulationStatistical verification of PCTL using antithetic and stratified samplesRead atomic transactions with prevention of lost updates: ROLA and its formal analysisSmoothed model checking for uncertain continuous-time Markov chains


Uses Software


Cites Work


This page was built for publication: Statistical probabilistic model checking with a focus on time-bounded properties