{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:4E6PEERF7CVHXMOGUQE5XSELPT","short_pith_number":"pith:4E6PEERF","schema_version":"1.0","canonical_sha256":"e13cf21225f8aa7bb1c6a409dbc88b7cc390095bc54efd7c92a8e681867d715a","source":{"kind":"arxiv","id":"1504.06117","version":1},"attestation_state":"computed","paper":{"title":"Nested Weighted Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Jan Otop, Krishnendu Chatterjee, Thomas A. Henzinger","submitted_at":"2015-04-23T10:19:46Z","abstract_excerpt":"Recently there has been a significant effort to handle quantitative properties in formal verification and synthesis. While weighted automata over finite and infinite words provide a natural and flexible framework to express quantitative properties, perhaps surprisingly, some basic system properties such as average response time cannot be expressed using weighted automata, nor in any other know decidable formalism. In this work, we introduce nested weighted automata as a natural extension of weighted automata which makes it possible to express important quantitative properties such as average r"},"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":"1504.06117","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-23T10:19:46Z","cross_cats_sorted":[],"title_canon_sha256":"5ca1801662a78441fcfc3832de508e948ce85d16d5761432bab099b8f9d058b7","abstract_canon_sha256":"2bf769382b55ce8af1be8c155419100c30783c5cfee2f35f4ae46662d5d27b92"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:18:02.519800Z","signature_b64":"GmeenoEId7+r2ggEscshuayJMJ29jgsZn12tvjyvmoiGKJHVyN2Jrp81cyEe1Cafa53dz8DEnnZk2FckE2stCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e13cf21225f8aa7bb1c6a409dbc88b7cc390095bc54efd7c92a8e681867d715a","last_reissued_at":"2026-05-18T02:18:02.519004Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:18:02.519004Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Nested Weighted Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Jan Otop, Krishnendu Chatterjee, Thomas A. Henzinger","submitted_at":"2015-04-23T10:19:46Z","abstract_excerpt":"Recently there has been a significant effort to handle quantitative properties in formal verification and synthesis. While weighted automata over finite and infinite words provide a natural and flexible framework to express quantitative properties, perhaps surprisingly, some basic system properties such as average response time cannot be expressed using weighted automata, nor in any other know decidable formalism. In this work, we introduce nested weighted automata as a natural extension of weighted automata which makes it possible to express important quantitative properties such as average r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.06117","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":"1504.06117","created_at":"2026-05-18T02:18:02.519127+00:00"},{"alias_kind":"arxiv_version","alias_value":"1504.06117v1","created_at":"2026-05-18T02:18:02.519127+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.06117","created_at":"2026-05-18T02:18:02.519127+00:00"},{"alias_kind":"pith_short_12","alias_value":"4E6PEERF7CVH","created_at":"2026-05-18T12:29:05.191682+00:00"},{"alias_kind":"pith_short_16","alias_value":"4E6PEERF7CVHXMOG","created_at":"2026-05-18T12:29:05.191682+00:00"},{"alias_kind":"pith_short_8","alias_value":"4E6PEERF","created_at":"2026-05-18T12:29:05.191682+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/4E6PEERF7CVHXMOGUQE5XSELPT","json":"https://pith.science/pith/4E6PEERF7CVHXMOGUQE5XSELPT.json","graph_json":"https://pith.science/api/pith-number/4E6PEERF7CVHXMOGUQE5XSELPT/graph.json","events_json":"https://pith.science/api/pith-number/4E6PEERF7CVHXMOGUQE5XSELPT/events.json","paper":"https://pith.science/paper/4E6PEERF"},"agent_actions":{"view_html":"https://pith.science/pith/4E6PEERF7CVHXMOGUQE5XSELPT","download_json":"https://pith.science/pith/4E6PEERF7CVHXMOGUQE5XSELPT.json","view_paper":"https://pith.science/paper/4E6PEERF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1504.06117&json=true","fetch_graph":"https://pith.science/api/pith-number/4E6PEERF7CVHXMOGUQE5XSELPT/graph.json","fetch_events":"https://pith.science/api/pith-number/4E6PEERF7CVHXMOGUQE5XSELPT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4E6PEERF7CVHXMOGUQE5XSELPT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4E6PEERF7CVHXMOGUQE5XSELPT/action/storage_attestation","attest_author":"https://pith.science/pith/4E6PEERF7CVHXMOGUQE5XSELPT/action/author_attestation","sign_citation":"https://pith.science/pith/4E6PEERF7CVHXMOGUQE5XSELPT/action/citation_signature","submit_replication":"https://pith.science/pith/4E6PEERF7CVHXMOGUQE5XSELPT/action/replication_record"}},"created_at":"2026-05-18T02:18:02.519127+00:00","updated_at":"2026-05-18T02:18:02.519127+00:00"}