{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:LZWQPEHZXKSLKEOZ2ZREXV5QOP","short_pith_number":"pith:LZWQPEHZ","schema_version":"1.0","canonical_sha256":"5e6d0790f9baa4b511d9d6624bd7b073d062a9a98bb1c5c58983992cdef108dd","source":{"kind":"arxiv","id":"2110.09007","version":3},"attestation_state":"computed","paper":{"title":"Online Motion Planning with Soft Metric Interval Temporal Logic in Unknown Dynamic Environment","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","math.OC"],"primary_cat":"cs.RO","authors_text":"Mingyu Cai, Shaoping Xiao, Zhen Kan, Zhiliang Li","submitted_at":"2021-10-18T04:06:20Z","abstract_excerpt":"Motion planning of an autonomous system with high-level specifications has wide applications. However, research of formal languages involving timed temporal logic is still under investigation. Furthermore, many existing results rely on a key assumption that user-specified tasks are feasible in the given environment. Challenges arise when the operating environment is dynamic and unknown since the environment can be found prohibitive, leading to potentially conflicting tasks where pre-specified timed missions cannot be fully satisfied. Such issues become even more challenging when considering ti"},"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":"2110.09007","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2021-10-18T04:06:20Z","cross_cats_sorted":["cs.FL","math.OC"],"title_canon_sha256":"8e3d551bf0375aec6c778c98f8fff8391652e7baf835aa4927c2f534d01b496c","abstract_canon_sha256":"0b56ac5f32bbaf77323de9103c845e4bca82a9e26947158bdb45b1c8754be9a2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:56:31.816404Z","signature_b64":"bTPtnFUtf/oizUdxrVAltwbrzJleuTI9m9GEiz5fcGKg7iColuHEddxWjK04I3LBteApPzPnE2DzIcqb7gxxAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5e6d0790f9baa4b511d9d6624bd7b073d062a9a98bb1c5c58983992cdef108dd","last_reissued_at":"2026-07-05T03:56:31.815934Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:56:31.815934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Online Motion Planning with Soft Metric Interval Temporal Logic in Unknown Dynamic Environment","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","math.OC"],"primary_cat":"cs.RO","authors_text":"Mingyu Cai, Shaoping Xiao, Zhen Kan, Zhiliang Li","submitted_at":"2021-10-18T04:06:20Z","abstract_excerpt":"Motion planning of an autonomous system with high-level specifications has wide applications. However, research of formal languages involving timed temporal logic is still under investigation. Furthermore, many existing results rely on a key assumption that user-specified tasks are feasible in the given environment. Challenges arise when the operating environment is dynamic and unknown since the environment can be found prohibitive, leading to potentially conflicting tasks where pre-specified timed missions cannot be fully satisfied. Such issues become even more challenging when considering ti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.09007","kind":"arxiv","version":3},"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/2110.09007/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":"2110.09007","created_at":"2026-07-05T03:56:31.815993+00:00"},{"alias_kind":"arxiv_version","alias_value":"2110.09007v3","created_at":"2026-07-05T03:56:31.815993+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.09007","created_at":"2026-07-05T03:56:31.815993+00:00"},{"alias_kind":"pith_short_12","alias_value":"LZWQPEHZXKSL","created_at":"2026-07-05T03:56:31.815993+00:00"},{"alias_kind":"pith_short_16","alias_value":"LZWQPEHZXKSLKEOZ","created_at":"2026-07-05T03:56:31.815993+00:00"},{"alias_kind":"pith_short_8","alias_value":"LZWQPEHZ","created_at":"2026-07-05T03:56:31.815993+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2505.10803","citing_title":"Developing and Integrating Trust Modeling into Multi-Objective Reinforcement Learning for Intelligent Agricultural Management","ref_index":20,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LZWQPEHZXKSLKEOZ2ZREXV5QOP","json":"https://pith.science/pith/LZWQPEHZXKSLKEOZ2ZREXV5QOP.json","graph_json":"https://pith.science/api/pith-number/LZWQPEHZXKSLKEOZ2ZREXV5QOP/graph.json","events_json":"https://pith.science/api/pith-number/LZWQPEHZXKSLKEOZ2ZREXV5QOP/events.json","paper":"https://pith.science/paper/LZWQPEHZ"},"agent_actions":{"view_html":"https://pith.science/pith/LZWQPEHZXKSLKEOZ2ZREXV5QOP","download_json":"https://pith.science/pith/LZWQPEHZXKSLKEOZ2ZREXV5QOP.json","view_paper":"https://pith.science/paper/LZWQPEHZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2110.09007&json=true","fetch_graph":"https://pith.science/api/pith-number/LZWQPEHZXKSLKEOZ2ZREXV5QOP/graph.json","fetch_events":"https://pith.science/api/pith-number/LZWQPEHZXKSLKEOZ2ZREXV5QOP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LZWQPEHZXKSLKEOZ2ZREXV5QOP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LZWQPEHZXKSLKEOZ2ZREXV5QOP/action/storage_attestation","attest_author":"https://pith.science/pith/LZWQPEHZXKSLKEOZ2ZREXV5QOP/action/author_attestation","sign_citation":"https://pith.science/pith/LZWQPEHZXKSLKEOZ2ZREXV5QOP/action/citation_signature","submit_replication":"https://pith.science/pith/LZWQPEHZXKSLKEOZ2ZREXV5QOP/action/replication_record"}},"created_at":"2026-07-05T03:56:31.815993+00:00","updated_at":"2026-07-05T03:56:31.815993+00:00"}