{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:LUR2H6SDH5JP6VBJGWJPU2GNQR","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":"8f30a59900b508dcf282b81824d1bf119589dd66e370123c6daf5d34f652d1bc","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-30T12:30:49Z","title_canon_sha256":"745f69e92b95cd4ac7c31545785e22ca6f74966c84421635b85332ea817edd68"},"schema_version":"1.0","source":{"id":"2606.31572","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.31572","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"arxiv_version","alias_value":"2606.31572v1","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.31572","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"pith_short_12","alias_value":"LUR2H6SDH5JP","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"pith_short_16","alias_value":"LUR2H6SDH5JP6VBJ","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"pith_short_8","alias_value":"LUR2H6SD","created_at":"2026-07-01T01:18:08Z"}],"graph_snapshots":[{"event_id":"sha256:63df0b9131d848ec015d1b3dbf2e6c34062e39176c8bf84cef6ccfb43f7149e9","target":"graph","created_at":"2026-07-01T01:18:08Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.31572/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous agents operating in socio-critical settings must coordinate with humans under uncertainty while respecting explicit safety constraints. Existing approaches either account for social dynamics without formal guarantees or provide formal assurance while abstracting away human behaviour. We introduce FormIDEAble, a formally grounded approach for synthesising socially-aware cooperation strategies with safety guarantees. The cooperation between humans and the autonomous agent is modelled as a Priced Timed Markov Decision Process, and decision-making is formulated as a cost-bounded reachab","authors_text":"Amel Bennaceur, Anastasia Kordoni, Bashar Nuseibeh, Carlos Gavidia-Calderon, Livia Lestingi, Marcello M. Bersani, Mark Levine, Matteo Rossi","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-30T12:30:49Z","title":"FormIDEAble: Safe and Socially-aware Autonomous Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.31572","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:acf58275d5b699e170e99bd4fc58c125b251081878fe86f1ffd0761d4346336a","target":"record","created_at":"2026-07-01T01:18:08Z","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":"8f30a59900b508dcf282b81824d1bf119589dd66e370123c6daf5d34f652d1bc","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-30T12:30:49Z","title_canon_sha256":"745f69e92b95cd4ac7c31545785e22ca6f74966c84421635b85332ea817edd68"},"schema_version":"1.0","source":{"id":"2606.31572","kind":"arxiv","version":1}},"canonical_sha256":"5d23a3fa433f52ff54293592fa68cd845ff8b435376aaf7c2a3635fd1a1fd1ca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5d23a3fa433f52ff54293592fa68cd845ff8b435376aaf7c2a3635fd1a1fd1ca","first_computed_at":"2026-07-01T01:18:08.029012Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-01T01:18:08.029012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KhEuSYN4G3dkP9tPXN5Xvr39LXS2w0anY+/w06SkH/IQ8j6dSl6tU+Y52wz62HIgkOKX6gVNYpj1mhhL46pkAg==","signature_status":"signed_v1","signed_at":"2026-07-01T01:18:08.029411Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.31572","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:acf58275d5b699e170e99bd4fc58c125b251081878fe86f1ffd0761d4346336a","sha256:63df0b9131d848ec015d1b3dbf2e6c34062e39176c8bf84cef6ccfb43f7149e9"],"state_sha256":"605c2b8de042245d52f3ab0c7acf7eef077871b83406f0fa1cfff7bdf097f584"}