{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:YSTXBTGLNFZDXPC4LTAN45L3IO","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"7463b0a85b860b4d71eeb8ad69aaaef566a7cdf3840e9fb1ea8f91438218f2f5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-03-04T16:40:39Z","title_canon_sha256":"37da74a3a03fb20f7ee29a454da46159fbdcbbcf6fbad2256bbdbd47b3bdff19"},"schema_version":"1.0","source":{"id":"1903.01350","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.01350","created_at":"2026-05-17T23:52:09Z"},{"alias_kind":"arxiv_version","alias_value":"1903.01350v1","created_at":"2026-05-17T23:52:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.01350","created_at":"2026-05-17T23:52:09Z"},{"alias_kind":"pith_short_12","alias_value":"YSTXBTGLNFZD","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"YSTXBTGLNFZDXPC4","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"YSTXBTGL","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:3ebad5009d7654e1f5c6063c902af544c6597ee6174e7b9c050de2611b4069ca","target":"graph","created_at":"2026-05-17T23:52:09Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"With the primary objective of human-robot interaction being to support humans' goals, there exists a need to formally synthesize robot controllers that can provide the desired service. Synthesis techniques have the benefit of providing formal guarantees for specification satisfaction. There is potential to apply these techniques for devising robot controllers whose specifications are coupled with human needs. This paper explores the use of formal methods to construct human-aware robot controllers to support the productivity requirements of humans. We tackle these types of scenarios via human w","authors_text":"Luis Sentis, Minkyu Kim, Rachel Schlossman, Ufuk Topcu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-03-04T16:40:39Z","title":"Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.01350","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:21844a6f6dec791407cc5b5460ad7299beb7e5c3b7602f1099f016b18a7bf388","target":"record","created_at":"2026-05-17T23:52:09Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"7463b0a85b860b4d71eeb8ad69aaaef566a7cdf3840e9fb1ea8f91438218f2f5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-03-04T16:40:39Z","title_canon_sha256":"37da74a3a03fb20f7ee29a454da46159fbdcbbcf6fbad2256bbdbd47b3bdff19"},"schema_version":"1.0","source":{"id":"1903.01350","kind":"arxiv","version":1}},"canonical_sha256":"c4a770cccb69723bbc5c5cc0de757b43bae5c0ed40f94ff34ffaf4aef1e38395","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c4a770cccb69723bbc5c5cc0de757b43bae5c0ed40f94ff34ffaf4aef1e38395","first_computed_at":"2026-05-17T23:52:09.040701Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:52:09.040701Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8YWf2VoAZIGOMJZr08IoZ7jD5+9bDHoIFllsRzdGSMuoL2/8sHXNTnxwUXx6yXrKQUqCXFGNHEZHPpBGZeKPBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:52:09.041185Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.01350","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:21844a6f6dec791407cc5b5460ad7299beb7e5c3b7602f1099f016b18a7bf388","sha256:3ebad5009d7654e1f5c6063c902af544c6597ee6174e7b9c050de2611b4069ca"],"state_sha256":"8d2a0c63194539a474f9a4cd70c6f729d27158481e70283d07c9c969a3a0786b"}