{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:2TI7FJ7H4A7TLBB6QCDZVFAWJQ","short_pith_number":"pith:2TI7FJ7H","schema_version":"1.0","canonical_sha256":"d4d1f2a7e7e03f35843e80879a94164c20af5b52b5f2facb991c1a0da49cd8b7","source":{"kind":"arxiv","id":"2407.08620","version":1},"attestation_state":"computed","paper":{"title":"History-Determinism vs Fair Simulation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Karoliina Lehtinen, Keya Prakash, Thomas A. Henzinger, Udi Boker","submitted_at":"2024-07-11T15:57:08Z","abstract_excerpt":"An automaton is history-deterministic if its nondeterminism can be resolved on the fly, only using the prefix of the word read so far. This mild form of nondeterminism has attracted particular attention for its applications in synthesis problems. An automaton $A$ is guidable with respect to a class $C$ of automata if it can fairly simulate every automaton in $C$ whose language is contained in that of $A$. In other words, guidable automata are those for which inclusion and simulation coincide, making them particularly interesting for model-checking.\n  We study the connection between these two n"},"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":"2407.08620","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2024-07-11T15:57:08Z","cross_cats_sorted":[],"title_canon_sha256":"1fdb21162cf0965d82ba856ba90c800575452f9139468b701189131168fd10d8","abstract_canon_sha256":"9a9610dec2cd031de84c55100baf1d3ffdac15ca29df179415a9ff3769e27046"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-28T21:06:51.855029Z","signature_b64":"g5mP3TkmcHCku5T4J/Ay9K9h5bMJ2dt1rizPkPsBr1/sZzsuoef/T31fl1QTBPVtKSY85nLS6F/W999P4h8nDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d4d1f2a7e7e03f35843e80879a94164c20af5b52b5f2facb991c1a0da49cd8b7","last_reissued_at":"2026-05-28T21:06:51.853917Z","signature_status":"signed_v1","first_computed_at":"2026-05-28T21:06:51.853917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"History-Determinism vs Fair Simulation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Karoliina Lehtinen, Keya Prakash, Thomas A. Henzinger, Udi Boker","submitted_at":"2024-07-11T15:57:08Z","abstract_excerpt":"An automaton is history-deterministic if its nondeterminism can be resolved on the fly, only using the prefix of the word read so far. This mild form of nondeterminism has attracted particular attention for its applications in synthesis problems. An automaton $A$ is guidable with respect to a class $C$ of automata if it can fairly simulate every automaton in $C$ whose language is contained in that of $A$. In other words, guidable automata are those for which inclusion and simulation coincide, making them particularly interesting for model-checking.\n  We study the connection between these two n"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.08620","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/2407.08620/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":"2407.08620","created_at":"2026-05-28T21:06:51.854051+00:00"},{"alias_kind":"arxiv_version","alias_value":"2407.08620v1","created_at":"2026-05-28T21:06:51.854051+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.08620","created_at":"2026-05-28T21:06:51.854051+00:00"},{"alias_kind":"pith_short_12","alias_value":"2TI7FJ7H4A7T","created_at":"2026-05-28T21:06:51.854051+00:00"},{"alias_kind":"pith_short_16","alias_value":"2TI7FJ7H4A7TLBB6","created_at":"2026-05-28T21:06:51.854051+00:00"},{"alias_kind":"pith_short_8","alias_value":"2TI7FJ7H","created_at":"2026-05-28T21:06:51.854051+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/2TI7FJ7H4A7TLBB6QCDZVFAWJQ","json":"https://pith.science/pith/2TI7FJ7H4A7TLBB6QCDZVFAWJQ.json","graph_json":"https://pith.science/api/pith-number/2TI7FJ7H4A7TLBB6QCDZVFAWJQ/graph.json","events_json":"https://pith.science/api/pith-number/2TI7FJ7H4A7TLBB6QCDZVFAWJQ/events.json","paper":"https://pith.science/paper/2TI7FJ7H"},"agent_actions":{"view_html":"https://pith.science/pith/2TI7FJ7H4A7TLBB6QCDZVFAWJQ","download_json":"https://pith.science/pith/2TI7FJ7H4A7TLBB6QCDZVFAWJQ.json","view_paper":"https://pith.science/paper/2TI7FJ7H","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2407.08620&json=true","fetch_graph":"https://pith.science/api/pith-number/2TI7FJ7H4A7TLBB6QCDZVFAWJQ/graph.json","fetch_events":"https://pith.science/api/pith-number/2TI7FJ7H4A7TLBB6QCDZVFAWJQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2TI7FJ7H4A7TLBB6QCDZVFAWJQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2TI7FJ7H4A7TLBB6QCDZVFAWJQ/action/storage_attestation","attest_author":"https://pith.science/pith/2TI7FJ7H4A7TLBB6QCDZVFAWJQ/action/author_attestation","sign_citation":"https://pith.science/pith/2TI7FJ7H4A7TLBB6QCDZVFAWJQ/action/citation_signature","submit_replication":"https://pith.science/pith/2TI7FJ7H4A7TLBB6QCDZVFAWJQ/action/replication_record"}},"created_at":"2026-05-28T21:06:51.854051+00:00","updated_at":"2026-05-28T21:06:51.854051+00:00"}