{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:2RZA55YZBNFZCZX2IKXBYOIOFG","short_pith_number":"pith:2RZA55YZ","schema_version":"1.0","canonical_sha256":"d4720ef7190b4b9166fa42ae1c390e2991f6e58caa8e556ef1346c970d93b8da","source":{"kind":"arxiv","id":"1707.01322","version":1},"attestation_state":"computed","paper":{"title":"Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.SY"],"primary_cat":"cs.LG","authors_text":"Alessandro Abate, Elizabeth Polgreen, Sofie Haesaert, Viraj Wijesuriya","submitted_at":"2017-07-05T11:12:15Z","abstract_excerpt":"We present a new method for statistical verification of quantitative properties over a partially unknown system with actions, utilising a parameterised model (in this work, a parametric Markov decision process) and data collected from experiments performed on the underlying system. We obtain the confidence that the underlying system satisfies a given property, and show that the method uses data efficiently and thus is robust to the amount of data available. These characteristics are achieved by firstly exploiting parameter synthesis to establish a feasible set of parameters for which the under"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1707.01322","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-07-05T11:12:15Z","cross_cats_sorted":["cs.LO","cs.SY"],"title_canon_sha256":"c442fee4a86c8a70d86f527b4aa049dc73cb20c598ad2a55457053dc0fda8ed6","abstract_canon_sha256":"64b39e0f93a97100d799a1a9e7ff9933b6ae2ac4316005a52ac9db23a04de986"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:53.153912Z","signature_b64":"8o3JiQsIgFeBT0CDrsy1wbQIl+pNa/5kdbKVyepdWZ98oC/xqqmydO28za6o3FnnzgTWmtA5f9sYkKGkpgkGBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d4720ef7190b4b9166fa42ae1c390e2991f6e58caa8e556ef1346c970d93b8da","last_reissued_at":"2026-05-18T00:40:53.153432Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:53.153432Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.SY"],"primary_cat":"cs.LG","authors_text":"Alessandro Abate, Elizabeth Polgreen, Sofie Haesaert, Viraj Wijesuriya","submitted_at":"2017-07-05T11:12:15Z","abstract_excerpt":"We present a new method for statistical verification of quantitative properties over a partially unknown system with actions, utilising a parameterised model (in this work, a parametric Markov decision process) and data collected from experiments performed on the underlying system. We obtain the confidence that the underlying system satisfies a given property, and show that the method uses data efficiently and thus is robust to the amount of data available. These characteristics are achieved by firstly exploiting parameter synthesis to establish a feasible set of parameters for which the under"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.01322","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1707.01322","created_at":"2026-05-18T00:40:53.153506+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.01322v1","created_at":"2026-05-18T00:40:53.153506+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.01322","created_at":"2026-05-18T00:40:53.153506+00:00"},{"alias_kind":"pith_short_12","alias_value":"2RZA55YZBNFZ","created_at":"2026-05-18T12:30:55.937587+00:00"},{"alias_kind":"pith_short_16","alias_value":"2RZA55YZBNFZCZX2","created_at":"2026-05-18T12:30:55.937587+00:00"},{"alias_kind":"pith_short_8","alias_value":"2RZA55YZ","created_at":"2026-05-18T12:30:55.937587+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2RZA55YZBNFZCZX2IKXBYOIOFG","json":"https://pith.science/pith/2RZA55YZBNFZCZX2IKXBYOIOFG.json","graph_json":"https://pith.science/api/pith-number/2RZA55YZBNFZCZX2IKXBYOIOFG/graph.json","events_json":"https://pith.science/api/pith-number/2RZA55YZBNFZCZX2IKXBYOIOFG/events.json","paper":"https://pith.science/paper/2RZA55YZ"},"agent_actions":{"view_html":"https://pith.science/pith/2RZA55YZBNFZCZX2IKXBYOIOFG","download_json":"https://pith.science/pith/2RZA55YZBNFZCZX2IKXBYOIOFG.json","view_paper":"https://pith.science/paper/2RZA55YZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.01322&json=true","fetch_graph":"https://pith.science/api/pith-number/2RZA55YZBNFZCZX2IKXBYOIOFG/graph.json","fetch_events":"https://pith.science/api/pith-number/2RZA55YZBNFZCZX2IKXBYOIOFG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2RZA55YZBNFZCZX2IKXBYOIOFG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2RZA55YZBNFZCZX2IKXBYOIOFG/action/storage_attestation","attest_author":"https://pith.science/pith/2RZA55YZBNFZCZX2IKXBYOIOFG/action/author_attestation","sign_citation":"https://pith.science/pith/2RZA55YZBNFZCZX2IKXBYOIOFG/action/citation_signature","submit_replication":"https://pith.science/pith/2RZA55YZBNFZCZX2IKXBYOIOFG/action/replication_record"}},"created_at":"2026-05-18T00:40:53.153506+00:00","updated_at":"2026-05-18T00:40:53.153506+00:00"}