{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:HYLYW4W67CF3L5GRQXBQHUB6XZ","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":"a28052f769185e5f365bfbc7800f6390dd133b6ce95bc69d50ac3c6db92ea0a6","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-10-12T20:52:41Z","title_canon_sha256":"63a9599755e40a65364278b132057589cc4b3df2110157127b078617e5ae87ce"},"schema_version":"1.0","source":{"id":"2310.08714","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.08714","created_at":"2026-07-05T07:00:33Z"},{"alias_kind":"arxiv_version","alias_value":"2310.08714v1","created_at":"2026-07-05T07:00:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.08714","created_at":"2026-07-05T07:00:33Z"},{"alias_kind":"pith_short_12","alias_value":"HYLYW4W67CF3","created_at":"2026-07-05T07:00:33Z"},{"alias_kind":"pith_short_16","alias_value":"HYLYW4W67CF3L5GR","created_at":"2026-07-05T07:00:33Z"},{"alias_kind":"pith_short_8","alias_value":"HYLYW4W6","created_at":"2026-07-05T07:00:33Z"}],"graph_snapshots":[{"event_id":"sha256:59dc97ae66582021699b2a958c323ed3fe5db04420f2997fbe518d2b2f2a3e47","target":"graph","created_at":"2026-07-05T07:00:33Z","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/2310.08714/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Temporal logic is an important tool for specifying complex behaviors of systems. It can be used to define properties for verification and monitoring, as well as goals for synthesis tools, allowing users to specify rich missions and tasks. Some of the most popular temporal logics include Metric Temporal Logic (MTL), Signal Temporal Logic (STL), and weighted STL (wSTL), which also allow the definition of timing constraints. In this work, we introduce PyTeLo, a modular and versatile Python-based software that facilitates working with temporal logic languages, specifically MTL, STL, and wSTL. Appl","authors_text":"Cristian-Ioan Vasile, Gustavo A. Cardona, Kevin Leahy, Makai Mann","cross_cats":["cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-10-12T20:52:41Z","title":"A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.08714","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:1f7a82297f056a4643f853bf3a43e60faab4dd2a0b668c3843585dba9842893a","target":"record","created_at":"2026-07-05T07:00:33Z","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":"a28052f769185e5f365bfbc7800f6390dd133b6ce95bc69d50ac3c6db92ea0a6","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-10-12T20:52:41Z","title_canon_sha256":"63a9599755e40a65364278b132057589cc4b3df2110157127b078617e5ae87ce"},"schema_version":"1.0","source":{"id":"2310.08714","kind":"arxiv","version":1}},"canonical_sha256":"3e178b72def88bb5f4d185c303d03ebe64bdeca9efb49d27a9da2fc66f862c60","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3e178b72def88bb5f4d185c303d03ebe64bdeca9efb49d27a9da2fc66f862c60","first_computed_at":"2026-07-05T07:00:33.767548Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:00:33.767548Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Gc3mDk4C4+xr2wPrf4iioNOWOd+vByVT9QGXQJ+hTu/1HObXElAYdAenl2j8kr5tQ7OHHumdSrT2EMk7sVX0CQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:00:33.768019Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.08714","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1f7a82297f056a4643f853bf3a43e60faab4dd2a0b668c3843585dba9842893a","sha256:59dc97ae66582021699b2a958c323ed3fe5db04420f2997fbe518d2b2f2a3e47"],"state_sha256":"88d5af2930071d836521b793b57e593747cfdf04d46995ff60e6b77f4d517926"}