Reward-Bounded Reachability Probability for Uncertain Weighted MDPs

Hashemi, V Hermanns, H Song, L

Permalink

Publisher:: Springer
Publication Type:: Conference Proceeding
Citation:: Verification, Model Checking, and Abstract Interpretation: Lecture Notes in Computer Science, 2016, 9583 pp. 351 - 371
Issue Date:: 2016

Closed Access

	Filename	Description	Size
	14062017131909-0001.pdf	Published version	1.1 MB	Adobe PDF	View/Open

Copyright Clearance Process

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Hashemi, V	en_US
dc.contributor.author	Hermanns, H	en_US
dc.contributor.author	Song, L	en_US
dc.contributor.editor	Jobstmann, B	en_US
dc.contributor.editor	Leino, KRM	en_US
dc.date	2016-01-17	en_US
dc.date.issued	2016	en_US
dc.identifier.citation	Verification, Model Checking, and Abstract Interpretation: Lecture Notes in Computer Science, 2016, 9583 pp. 351 - 371	en_US
dc.identifier.isbn	978-3-662-49121-8	en_US
dc.identifier.uri	http://hdl.handle.net/10453/104616
dc.publisher	Springer	en_US
dc.relation.ispartof	Verification, Model Checking, and Abstract Interpretation: Lecture Notes in Computer Science	en_US
dc.relation.ispartof	17th International Conference on Verification, Model Checking, and Abstract Interpretation	en_US
dc.relation.isbasedon	10.1007/978-3-662-49122-5_17	en_US
dc.subject.classification	Artificial Intelligence & Image Processing	en_US
dc.title	Reward-Bounded Reachability Probability for Uncertain Weighted MDPs	en_US
dc.type	Conference Proceeding
utslib.citation.volume	9583	en_US
utslib.location.activity	St. Petersburg, FL, USA	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
utslib.copyright.status	closed_access
pubs.consider-herdc	true	en_US
pubs.finish-date	2016-01-19	en_US
pubs.publication-status	Published	en_US
pubs.start-date	2016-01-17	en_US
pubs.volume	9583	en_US

Please use this identifier to cite or link to this item: