{"id":"https://openalex.org/W2949633728","doi":"https://doi.org/10.4204/eptcs.57.5","title":"Real-Reward Testing for Probabilistic Processes (Extended Abstract)","display_name":"Real-Reward Testing for Probabilistic Processes (Extended Abstract)","publication_year":2011,"publication_date":"2011-07-04","ids":{"openalex":"https://openalex.org/W2949633728","doi":"https://doi.org/10.4204/eptcs.57.5","mag":"2949633728"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.57.5","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.57.5","pdf_url":"https://arxiv.org/pdf/1107.1201","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/1107.1201","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Yuxin Deng","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yuxin Deng","raw_affiliation_strings":["Shanghai Jiao Tong University"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Rob van Glabbeek","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rob van Glabbeek","raw_affiliation_strings":["NICTA"],"affiliations":[{"raw_affiliation_string":"NICTA","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Matthew Hennessy","orcid":null},"institutions":[{"id":"https://openalex.org/I205274468","display_name":"Trinity College Dublin","ror":"https://ror.org/02tyrky19","country_code":"IE","type":"education","lineage":["https://openalex.org/I205274468"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Matthew Hennessy","raw_affiliation_strings":["Trinity College Dublin"],"affiliations":[{"raw_affiliation_string":"Trinity College Dublin","institution_ids":["https://openalex.org/I205274468"]}]},{"author_position":"last","author":{"id":null,"display_name":"Carroll Morgan","orcid":null},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Carroll Morgan","raw_affiliation_strings":["University of New South Wales"],"affiliations":[{"raw_affiliation_string":"University of New South Wales","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":0.6498,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.73528326,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"57","issue":null,"first_page":"61","last_page":"73"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.1995999962091446,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.1995999962091446,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.19359999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12101","display_name":"Advanced Bandit Algorithms Research","score":0.10750000178813934,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[],"concepts":[],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.4204/eptcs.57.5","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.57.5","pdf_url":"https://arxiv.org/pdf/1107.1201","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1107.1201","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1107.1201","pdf_url":"https://arxiv.org/pdf/1107.1201","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:368dffe428b6451dbbdc9a3a13aa4034","is_oa":true,"landing_page_url":"https://doaj.org/article/368dffe428b6451dbbdc9a3a13aa4034","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science, Vol 57, Iss Proc. QAPL 2011, Pp 61-73 (2011)","raw_type":"article"},{"id":"pmh:oai:unsworks.library.unsw.edu.au:1959.4/unsworks_55454","is_oa":true,"landing_page_url":"http://hdl.handle.net/1959.4/unsworks_55454","pdf_url":null,"source":{"id":"https://openalex.org/S4306401737","display_name":"UNSWorks (University of New South Wales, Sydney, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40053085","host_organization_name":"Australian Defence Force Academy","host_organization_lineage":["https://openalex.org/I40053085"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Ninth Workshop on Quantitative Aspects of Programming Languages, Saarbr\u00fccken, Germany, 2011-04","raw_type":"http://purl.org/coar/resource_type/c_5794"}],"best_oa_location":{"id":"doi:10.4204/eptcs.57.5","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.57.5","pdf_url":"https://arxiv.org/pdf/1107.1201","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320847","display_name":"Science Foundation Ireland","ror":"https://ror.org/0271asj38"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2949633728.pdf","grobid_xml":"https://content.openalex.org/works/W2949633728.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W1266757872","https://openalex.org/W1533361503","https://openalex.org/W1548292705","https://openalex.org/W1805999688","https://openalex.org/W1935088456","https://openalex.org/W2012095234","https://openalex.org/W2039139411","https://openalex.org/W2152206644","https://openalex.org/W2157144873","https://openalex.org/W2334782222"],"related_works":[],"abstract_inverted_index":{"We":[0,35],"introduce":[1],"a":[2],"notion":[3],"of":[4,52,76,80,106],"real-valued":[5],"reward":[6],"testing":[7,16,23,73,111],"for":[8,38,109],"probabilistic":[9],"processes":[10,40],"by":[11],"extending":[12],"the":[13,25,50,54,60,70,77,97,104],"traditional":[14],"nonnegative-reward":[15,61],"with":[17,41,59],"negative":[18],"rewards.":[19],"In":[20],"this":[21,66],"richer":[22],"framework,":[24],"may":[26],"and":[27,45],"must":[28],"preorders":[29],"turn":[30],"out":[31],"to":[32,84,96],"be":[33],"inverses.":[34],"show":[36],"that":[37,93],"convergent":[39],"finitely":[42],"many":[43],"states":[44],"transitions,":[46],"but":[47],"not":[48],"in":[49,74],"presence":[51],"divergence,":[53],"real-reward":[55],"must-testing":[56,62],"preorder":[57],"coincides":[58],"preorder.":[63],"To":[64],"prove":[65],"coincidence":[67],"we":[68],"characterise":[69],"usual":[71],"resolution-based":[72],"terms":[75],"weak":[78],"transitions":[79],"processes,":[81],"without":[82],"having":[83],"involve":[85],"policies,":[86],"adversaries,":[87],"schedulers,":[88],"resolutions,":[89],"or":[90],"similar":[91],"structures":[92],"are":[94],"external":[95],"process":[98],"under":[99],"investigation.":[100],"This":[101],"requires":[102],"establishing":[103],"continuity":[105],"our":[107],"function":[108],"calculating":[110],"outcomes.":[112]},"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2019-06-27T00:00:00"}