APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING

Ph.D

Saved in:

Bibliographic Details
Main Author:	YAMILET ROSARIO SERRANO LLERENA
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2018
Subjects:	probabilistic model checking, Markov models, perturbation theory, probabilistic systems
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/145422
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-145422
record_format	dspace
spelling	sg-nus-scholar.10635-1454222024-10-24T20:11:30Z APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING YAMILET ROSARIO SERRANO LLERENA COMPUTER SCIENCE DAVID SAMUEL ROSENBLUM probabilistic model checking, Markov models, perturbation theory, probabilistic systems Ph.D DOCTOR OF PHILOSOPHY 2018-07-31T18:00:32Z 2018-07-31T18:00:32Z 2018-04-12 Thesis YAMILET ROSARIO SERRANO LLERENA (2018-04-12). APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/145422 en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	probabilistic model checking, Markov models, perturbation theory, probabilistic systems
spellingShingle	probabilistic model checking, Markov models, perturbation theory, probabilistic systems YAMILET ROSARIO SERRANO LLERENA APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE YAMILET ROSARIO SERRANO LLERENA
format	Theses and Dissertations
author	YAMILET ROSARIO SERRANO LLERENA
author_sort	YAMILET ROSARIO SERRANO LLERENA
title	APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING
title_short	APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING
title_full	APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING
title_fullStr	APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING
title_full_unstemmed	APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING
title_sort	applications of perturbation analysis in probabilistic model checking
publishDate	2018
url	http://scholarbank.nus.edu.sg/handle/10635/145422
_version_	1821214423066345472

APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING

Similar Items