{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:AY7GR64WU33NZREYRQUMKC6S2H","short_pith_number":"pith:AY7GR64W","schema_version":"1.0","canonical_sha256":"063e68fb96a6f6dcc4988c28c50bd2d1f8390258e1b87f8c2bfc0fc5dd56791c","source":{"kind":"arxiv","id":"1304.6898","version":1},"attestation_state":"computed","paper":{"title":"Automated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Clemens Wiltsche","submitted_at":"2013-04-25T12:49:15Z","abstract_excerpt":"In this thesis, the synthesis of correct-by-construction controllers for robots assisting in Search and Rescue (SAR) is considered. In recent years, the development of robots assisting in disaster mitigation in urban environments has been actively encouraged, since robots can be deployed in dangerous and hazardous areas where human SAR operations would not be possible.\n  In order to meet the reliability requirements in SAR, the specifications of the robots are stated in Linear Temporal Logic and synthesized into finite state machines that can be executed as controllers. The resulting controlle"},"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":"1304.6898","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-25T12:49:15Z","cross_cats_sorted":[],"title_canon_sha256":"606d5a5068c02d9fe3c9ce52257a7182a05497c93f8e2da9ded2f6a4c0256e89","abstract_canon_sha256":"58899f0f45713dd29eb167e56bcee972fe56d6017c0aa3f8d369a0a2dbc9b56a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:27:10.838683Z","signature_b64":"ZcnVwJA8yCU+fzDRyD3NpBnDUR9y+9AWpe0nuj5fn7JMJzeUrp1uKbF+pjhWbKsEz8RsCnJgSX/aQPFkcvTgBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"063e68fb96a6f6dcc4988c28c50bd2d1f8390258e1b87f8c2bfc0fc5dd56791c","last_reissued_at":"2026-05-18T03:27:10.838165Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:27:10.838165Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Clemens Wiltsche","submitted_at":"2013-04-25T12:49:15Z","abstract_excerpt":"In this thesis, the synthesis of correct-by-construction controllers for robots assisting in Search and Rescue (SAR) is considered. In recent years, the development of robots assisting in disaster mitigation in urban environments has been actively encouraged, since robots can be deployed in dangerous and hazardous areas where human SAR operations would not be possible.\n  In order to meet the reliability requirements in SAR, the specifications of the robots are stated in Linear Temporal Logic and synthesized into finite state machines that can be executed as controllers. The resulting controlle"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.6898","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":"1304.6898","created_at":"2026-05-18T03:27:10.838236+00:00"},{"alias_kind":"arxiv_version","alias_value":"1304.6898v1","created_at":"2026-05-18T03:27:10.838236+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.6898","created_at":"2026-05-18T03:27:10.838236+00:00"},{"alias_kind":"pith_short_12","alias_value":"AY7GR64WU33N","created_at":"2026-05-18T12:27:38.830355+00:00"},{"alias_kind":"pith_short_16","alias_value":"AY7GR64WU33NZREY","created_at":"2026-05-18T12:27:38.830355+00:00"},{"alias_kind":"pith_short_8","alias_value":"AY7GR64W","created_at":"2026-05-18T12:27:38.830355+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/AY7GR64WU33NZREYRQUMKC6S2H","json":"https://pith.science/pith/AY7GR64WU33NZREYRQUMKC6S2H.json","graph_json":"https://pith.science/api/pith-number/AY7GR64WU33NZREYRQUMKC6S2H/graph.json","events_json":"https://pith.science/api/pith-number/AY7GR64WU33NZREYRQUMKC6S2H/events.json","paper":"https://pith.science/paper/AY7GR64W"},"agent_actions":{"view_html":"https://pith.science/pith/AY7GR64WU33NZREYRQUMKC6S2H","download_json":"https://pith.science/pith/AY7GR64WU33NZREYRQUMKC6S2H.json","view_paper":"https://pith.science/paper/AY7GR64W","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1304.6898&json=true","fetch_graph":"https://pith.science/api/pith-number/AY7GR64WU33NZREYRQUMKC6S2H/graph.json","fetch_events":"https://pith.science/api/pith-number/AY7GR64WU33NZREYRQUMKC6S2H/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AY7GR64WU33NZREYRQUMKC6S2H/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AY7GR64WU33NZREYRQUMKC6S2H/action/storage_attestation","attest_author":"https://pith.science/pith/AY7GR64WU33NZREYRQUMKC6S2H/action/author_attestation","sign_citation":"https://pith.science/pith/AY7GR64WU33NZREYRQUMKC6S2H/action/citation_signature","submit_replication":"https://pith.science/pith/AY7GR64WU33NZREYRQUMKC6S2H/action/replication_record"}},"created_at":"2026-05-18T03:27:10.838236+00:00","updated_at":"2026-05-18T03:27:10.838236+00:00"}