Statistical Approaches for Probabilistic Model Checking

Statistical Approaches for Probabilistic Model Checking

Bibliographic Details
Main Author:	Nimal, V
Format:	Thesis
Published:	2010

Similar Items

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking
by: Maurice H. ter Beek, et al.
Published: (2015-04-01)

Probabilistic model checking and autonomy
by: Kwiatkowska, M, et al.
Published: (2021)

Distributional probabilistic model checking
by: Elsayed-Aly, I, et al.
Published: (2024)

On-the-fly Probabilistic Model Checking
by: Diego Latella, et al.
Published: (2014-10-01)

Model Checking Probabilistic Pushdown Automata
by: Javier Esparza, et al.
Published: (2006-03-01)

Probabilistic model checking of cancer metabolism
by: Meir D. Friedenberg, et al.
Published: (2022-11-01)

Branching-Time Model-Checking of Probabilistic Pushdown Automata.
by: Brázdil, T, et al.
Published: (2009)

Probabilistic model checking of complex biological pathways
by: Heath, J, et al.
Published: (2008)

Probabilistic model checking of randomized Java code
by: Fatmi, SZ, et al.
Published: (2021)

Measuring Progress of Probabilistic LTL Model Checking
by: Elise Cormie-Bowins, et al.
Published: (2012-07-01)

Verifying Team Formation Protocols with Probabilistic Model Checking
by: Chen, T, et al.
Published: (2011)

Multi-agent verification and control with probabilistic model checking
by: Parker, D
Published: (2023)

Model Checking Temporal Properties of Recursive Probabilistic Programs
by: Tobias Winkler, et al.
Published: (2023-12-01)

Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs
by: Vahid Hashemi, et al.
Published: (2014-03-01)

Equilibria-based probabilistic model checking for concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2019)

Compositional probabilistic verification through multi-objective model checking
by: Kwiatkowska, M, et al.
Published: (2013)

Model Checking Probabilistic Timed Automata with One or Two Clocks
by: Marcin Jurdzinski, et al.
Published: (2008-09-01)

Probabilistic and Hybrid Model Checking Deployments for Wireless Sensor Networks
by: Mohsin Memon, et al.
Published: (2012-01-01)

Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation.
by: Misbah Razzaq, et al.
Published: (2015-01-01)

Distributed Parametric and Statistical Model Checking
by: Peter Bulychev, et al.
Published: (2011-10-01)

Probabilistic and statistical approaches in underground construction /
by: 339353 Einstein, Herbert H.
Published: (1983)

Probabilistic Model Checking GitHub Repositories for Software Project Analysis
by: Suhee Jo, et al.
Published: (2024-02-01)

PROBABILISTIC-STATISTICAL MODEL OF CHILDREN’S HEALTH
by: S.M. Chechel’nitskaya, et al.
Published: (2009-07-01)

PROBABILISTIC-STATISTICAL MODEL OF CHILDREN’S HEALTH
by: S.M. Chechel’nitskaya, et al.
Published: (2009-01-01)

Coupling and Importance Sampling for Statistical Model Checking
by: Barbot, B, et al.
Published: (2012)

Statistical Model Checking for Stochastic Hybrid Systems
by: Danny Bøgsted Poulsen, et al.
Published: (2012-08-01)

Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
by: Kwiatkowska, M, et al.
Published: (2022)

Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems
by: Yang Liu, et al.
Published: (2021-08-01)

Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking
by: Eman Shaikh, et al.
Published: (2023-01-01)

Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation
by: José A. Mateo, et al.
Published: (2015-05-01)

Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
by: Yang Liu, et al.
Published: (2020-04-01)

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
by: R van der Meyden, et al.
Published: (2016-06-01)

Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling
by: Kong, Pingfan
Published: (2016)

Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems
by: Ukachukwu Ndukwu
Published: (2009-12-01)

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
by: Marcus Völp, et al.
Published: (2012-11-01)

Reliability : probabilistic models and statistical methods /
by: 253568 Leemis, Lawrence M.
Published: (1995)

Probabilistic-statistical model of insurance capital
by: Oleg Gennadievich Gorbachev
Published: (2012-03-01)

Anti-chain based algorithms for timed/probabilistic refinement checking
by: Wang, Ting, et al.
Published: (2020)

Improved statistical model checking methods for pathway analysis
by: Koh Chuan Hock, et al.
Published: (2012-12-01)

SoS contract verification using statistical model checking
by: Alessandro Mignogna, et al.
Published: (2013-11-01)