{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:BG65QDMOJRRRNOCX6AUIDOCMKD","short_pith_number":"pith:BG65QDMO","schema_version":"1.0","canonical_sha256":"09bdd80d8e4c6316b857f02881b84c50f9b0c4c261cfe1d586f28ae0c1d52997","source":{"kind":"arxiv","id":"1903.03991","version":3},"attestation_state":"computed","paper":{"title":"DCSYNTH: Guided Reactive Synthesis with Soft Requirements","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Amol Wakankar, Paritosh K. Pandya, Rajmohan Matteplackel","submitted_at":"2019-03-10T13:47:37Z","abstract_excerpt":"In reactive controller synthesis, a number of implementations (controllers) are possible for a given specification because of the incomplete nature of specification. To choose the most desirable one from the various options, we need to specify additional properties which can guide the synthesis. In this paper, We propose a technique for guided controller synthesis from regular requirements which are specified using an interval temporal logic QDDC. We find that QDDC is well suited for guided synthesis due to its superiority in dealing with both qualitative and quantitative specifications. Our f"},"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":"1903.03991","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-03-10T13:47:37Z","cross_cats_sorted":[],"title_canon_sha256":"2088741cfb54cc74971667d19d52927c5dda2cc0119ab0ea99670743efc9041a","abstract_canon_sha256":"62dfc0fc589baca8d812b36bf4b8dd12053c2376c7eeb5413e8da79d088743b5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:03.933772Z","signature_b64":"WVobnj6rXGqHbNJ0CycpVoTlmvu+YDeIVXwglIz/L1DZd+qV82HJqIHx7328AeYMnrM3FrONDhXPtXH/Mi0XDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"09bdd80d8e4c6316b857f02881b84c50f9b0c4c261cfe1d586f28ae0c1d52997","last_reissued_at":"2026-05-17T23:45:03.933107Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:03.933107Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"DCSYNTH: Guided Reactive Synthesis with Soft Requirements","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Amol Wakankar, Paritosh K. Pandya, Rajmohan Matteplackel","submitted_at":"2019-03-10T13:47:37Z","abstract_excerpt":"In reactive controller synthesis, a number of implementations (controllers) are possible for a given specification because of the incomplete nature of specification. To choose the most desirable one from the various options, we need to specify additional properties which can guide the synthesis. In this paper, We propose a technique for guided controller synthesis from regular requirements which are specified using an interval temporal logic QDDC. We find that QDDC is well suited for guided synthesis due to its superiority in dealing with both qualitative and quantitative specifications. Our f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.03991","kind":"arxiv","version":3},"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":"1903.03991","created_at":"2026-05-17T23:45:03.933215+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.03991v3","created_at":"2026-05-17T23:45:03.933215+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.03991","created_at":"2026-05-17T23:45:03.933215+00:00"},{"alias_kind":"pith_short_12","alias_value":"BG65QDMOJRRR","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_16","alias_value":"BG65QDMOJRRRNOCX","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_8","alias_value":"BG65QDMO","created_at":"2026-05-18T12:33:12.712433+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/BG65QDMOJRRRNOCX6AUIDOCMKD","json":"https://pith.science/pith/BG65QDMOJRRRNOCX6AUIDOCMKD.json","graph_json":"https://pith.science/api/pith-number/BG65QDMOJRRRNOCX6AUIDOCMKD/graph.json","events_json":"https://pith.science/api/pith-number/BG65QDMOJRRRNOCX6AUIDOCMKD/events.json","paper":"https://pith.science/paper/BG65QDMO"},"agent_actions":{"view_html":"https://pith.science/pith/BG65QDMOJRRRNOCX6AUIDOCMKD","download_json":"https://pith.science/pith/BG65QDMOJRRRNOCX6AUIDOCMKD.json","view_paper":"https://pith.science/paper/BG65QDMO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.03991&json=true","fetch_graph":"https://pith.science/api/pith-number/BG65QDMOJRRRNOCX6AUIDOCMKD/graph.json","fetch_events":"https://pith.science/api/pith-number/BG65QDMOJRRRNOCX6AUIDOCMKD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BG65QDMOJRRRNOCX6AUIDOCMKD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BG65QDMOJRRRNOCX6AUIDOCMKD/action/storage_attestation","attest_author":"https://pith.science/pith/BG65QDMOJRRRNOCX6AUIDOCMKD/action/author_attestation","sign_citation":"https://pith.science/pith/BG65QDMOJRRRNOCX6AUIDOCMKD/action/citation_signature","submit_replication":"https://pith.science/pith/BG65QDMOJRRRNOCX6AUIDOCMKD/action/replication_record"}},"created_at":"2026-05-17T23:45:03.933215+00:00","updated_at":"2026-05-17T23:45:03.933215+00:00"}