{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:373OXXNO4JBPLONYHSBVTG5VWY","short_pith_number":"pith:373OXXNO","schema_version":"1.0","canonical_sha256":"dff6ebddaee242f5b9b83c83599bb5b630ffaa1e8f1e4217b6d9d6a2db6091a8","source":{"kind":"arxiv","id":"1902.01084","version":2},"attestation_state":"computed","paper":{"title":"Paracosm: A Language and Tool for Testing Autonomous Driving Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aman Mathur, Damien Zufferey, Laura Stegner, Marcus Pirron, Rupak Majumdar","submitted_at":"2019-02-04T08:51:50Z","abstract_excerpt":"Systematic testing of autonomous vehicles operating in complex real-world scenarios is a difficult and expensive problem. We present Paracosm, a reactive language for writing test scenarios for autonomous driving systems. Paracosm allows users to programmatically describe complex driving situations with specific visual features, e.g., road layout in an urban environment, as well as reactive temporal behaviors of cars and pedestrians. Paracosm programs are executed on top of a game engine that provides realistic physics simulation and visual rendering. The infrastructure allows systematic explo"},"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":"1902.01084","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-02-04T08:51:50Z","cross_cats_sorted":[],"title_canon_sha256":"91378077993a42b3837178c19295c794d065d41aa817064efc0eaa0d01bb442a","abstract_canon_sha256":"92ec071071ce2a90a1d47ebf424c9f75e57cd95aea5faa1c7cd3987762f910d3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:07:12.743260Z","signature_b64":"PXMLa92yQJXKHWkGXiMq5Y/j5j1Loj+8P6ReOlwBdf91V/4Zv50Q26/T0HDY5kN6Q3kf4FBxPH3Xv1ki0usOCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dff6ebddaee242f5b9b83c83599bb5b630ffaa1e8f1e4217b6d9d6a2db6091a8","last_reissued_at":"2026-07-05T02:07:12.742531Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:07:12.742531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Paracosm: A Language and Tool for Testing Autonomous Driving Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aman Mathur, Damien Zufferey, Laura Stegner, Marcus Pirron, Rupak Majumdar","submitted_at":"2019-02-04T08:51:50Z","abstract_excerpt":"Systematic testing of autonomous vehicles operating in complex real-world scenarios is a difficult and expensive problem. We present Paracosm, a reactive language for writing test scenarios for autonomous driving systems. Paracosm allows users to programmatically describe complex driving situations with specific visual features, e.g., road layout in an urban environment, as well as reactive temporal behaviors of cars and pedestrians. Paracosm programs are executed on top of a game engine that provides realistic physics simulation and visual rendering. The infrastructure allows systematic explo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.01084","kind":"arxiv","version":2},"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/1902.01084/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":"1902.01084","created_at":"2026-07-05T02:07:12.742628+00:00"},{"alias_kind":"arxiv_version","alias_value":"1902.01084v2","created_at":"2026-07-05T02:07:12.742628+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.01084","created_at":"2026-07-05T02:07:12.742628+00:00"},{"alias_kind":"pith_short_12","alias_value":"373OXXNO4JBP","created_at":"2026-07-05T02:07:12.742628+00:00"},{"alias_kind":"pith_short_16","alias_value":"373OXXNO4JBPLONY","created_at":"2026-07-05T02:07:12.742628+00:00"},{"alias_kind":"pith_short_8","alias_value":"373OXXNO","created_at":"2026-07-05T02:07:12.742628+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.16452","citing_title":"Compiling OpenSCENARIO 2.1 for Scenario-Based Testing in CARLA","ref_index":12,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY","json":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY.json","graph_json":"https://pith.science/api/pith-number/373OXXNO4JBPLONYHSBVTG5VWY/graph.json","events_json":"https://pith.science/api/pith-number/373OXXNO4JBPLONYHSBVTG5VWY/events.json","paper":"https://pith.science/paper/373OXXNO"},"agent_actions":{"view_html":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY","download_json":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY.json","view_paper":"https://pith.science/paper/373OXXNO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1902.01084&json=true","fetch_graph":"https://pith.science/api/pith-number/373OXXNO4JBPLONYHSBVTG5VWY/graph.json","fetch_events":"https://pith.science/api/pith-number/373OXXNO4JBPLONYHSBVTG5VWY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY/action/storage_attestation","attest_author":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY/action/author_attestation","sign_citation":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY/action/citation_signature","submit_replication":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY/action/replication_record"}},"created_at":"2026-07-05T02:07:12.742628+00:00","updated_at":"2026-07-05T02:07:12.742628+00:00"}