{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:G6HN33LAENT7UZXS5OGZWLRQCT","short_pith_number":"pith:G6HN33LA","schema_version":"1.0","canonical_sha256":"378edded602367fa66f2eb8d9b2e3014fa95240957c77d4b1e263472291cd788","source":{"kind":"arxiv","id":"2607.15674","version":1},"attestation_state":"computed","paper":{"title":"A Generative Partially Specified Finite State Machine Approach to Complex Behaviour Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"(2) RMIT University), Damith Herath (1) ((1) University of Canberra, David Hinwood (2), Kalana Ratnayake (1), Maleen Jayasuriya (1), Michael Pritchard (1)","submitted_at":"2026-07-17T06:33:31Z","abstract_excerpt":"Autonomous robots operating in dynamic environments require behaviour planning systems that combine reactivity, interpretability, and adaptability. While Large Language Models have been successfully integrated with Behaviour Trees for dynamic replanning, Finite State Machines, despite their widespread adoption and computational efficiency, remain unexplored for generative approaches. We propose a Generative Partially Specified Finite State Machine (GPSFSM) neurosymbolic architecture that utilises the symbolic and semantic structure of FSMs, including states and event-triggered transitions, to "},"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":"2607.15674","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-07-17T06:33:31Z","cross_cats_sorted":[],"title_canon_sha256":"ee4a0ef96cf2632883b9c8251c699f1fda4c624ae892a18c804fe74c0c5966f6","abstract_canon_sha256":"e4f7b02d20889e69255575cee37425b49ac25334b8e04f405a298b6314ef13fc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-20T01:19:03.543067Z","signature_b64":"iXEKmX7m2YBpt/4tA7fP7ZAnFUVkpAqiKf9WiA7gWzd7XMyDSy7wBaI/Qwqucangcn9hhZrQbIC3UEO0a4RNBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"378edded602367fa66f2eb8d9b2e3014fa95240957c77d4b1e263472291cd788","last_reissued_at":"2026-07-20T01:19:03.542217Z","signature_status":"signed_v1","first_computed_at":"2026-07-20T01:19:03.542217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Generative Partially Specified Finite State Machine Approach to Complex Behaviour Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"(2) RMIT University), Damith Herath (1) ((1) University of Canberra, David Hinwood (2), Kalana Ratnayake (1), Maleen Jayasuriya (1), Michael Pritchard (1)","submitted_at":"2026-07-17T06:33:31Z","abstract_excerpt":"Autonomous robots operating in dynamic environments require behaviour planning systems that combine reactivity, interpretability, and adaptability. While Large Language Models have been successfully integrated with Behaviour Trees for dynamic replanning, Finite State Machines, despite their widespread adoption and computational efficiency, remain unexplored for generative approaches. We propose a Generative Partially Specified Finite State Machine (GPSFSM) neurosymbolic architecture that utilises the symbolic and semantic structure of FSMs, including states and event-triggered transitions, to "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.15674","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.15674/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2607.15674","created_at":"2026-07-20T01:19:03.542661+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.15674v1","created_at":"2026-07-20T01:19:03.542661+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.15674","created_at":"2026-07-20T01:19:03.542661+00:00"},{"alias_kind":"pith_short_12","alias_value":"G6HN33LAENT7","created_at":"2026-07-20T01:19:03.542661+00:00"},{"alias_kind":"pith_short_16","alias_value":"G6HN33LAENT7UZXS","created_at":"2026-07-20T01:19:03.542661+00:00"},{"alias_kind":"pith_short_8","alias_value":"G6HN33LA","created_at":"2026-07-20T01:19:03.542661+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/G6HN33LAENT7UZXS5OGZWLRQCT","json":"https://pith.science/pith/G6HN33LAENT7UZXS5OGZWLRQCT.json","graph_json":"https://pith.science/api/pith-number/G6HN33LAENT7UZXS5OGZWLRQCT/graph.json","events_json":"https://pith.science/api/pith-number/G6HN33LAENT7UZXS5OGZWLRQCT/events.json","paper":"https://pith.science/paper/G6HN33LA"},"agent_actions":{"view_html":"https://pith.science/pith/G6HN33LAENT7UZXS5OGZWLRQCT","download_json":"https://pith.science/pith/G6HN33LAENT7UZXS5OGZWLRQCT.json","view_paper":"https://pith.science/paper/G6HN33LA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.15674&json=true","fetch_graph":"https://pith.science/api/pith-number/G6HN33LAENT7UZXS5OGZWLRQCT/graph.json","fetch_events":"https://pith.science/api/pith-number/G6HN33LAENT7UZXS5OGZWLRQCT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/G6HN33LAENT7UZXS5OGZWLRQCT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/G6HN33LAENT7UZXS5OGZWLRQCT/action/storage_attestation","attest_author":"https://pith.science/pith/G6HN33LAENT7UZXS5OGZWLRQCT/action/author_attestation","sign_citation":"https://pith.science/pith/G6HN33LAENT7UZXS5OGZWLRQCT/action/citation_signature","submit_replication":"https://pith.science/pith/G6HN33LAENT7UZXS5OGZWLRQCT/action/replication_record"}},"created_at":"2026-07-20T01:19:03.542661+00:00","updated_at":"2026-07-20T01:19:03.542661+00:00"}