{"as_of":"2026-08-12T23:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0e8402697b519fd1889c2bb25b36d17994c2f444c582c9ad1f2e505272795629","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:18:11.796966Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.14367/citation-record","integrity":"/paper/2411.14367/integrity","json":"/paper/2411.14367/citation-record.json","paper":"/paper/2411.14367"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.963003Z","title":"https://rsl.ethz.ch/ research/challenges-competitions/mbzirc2020.html","venue":null,"work_id":"764192ca-027f-47dd-81be-832ff5ebbb15","year":2020},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.609321Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:22da89529bbf7dc2151aeaf2572b4dfc649363afa433ea83ce2142228b2b3420","observation_id":"7d5334de-084b-4cd5-a6f4-c7f352102edf","resolution":{"observed_at":"2026-08-12T15:18:12.971518Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.940622Z","title":"https://www.ros.org/","venue":null,"work_id":"67f64975-0867-49a3-be66-f4e45d37888c","year":2024},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.615292Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:5ef63bd9c5a48d13204b045cb20f4358a1162aab53567f20a3d9881fc77e7ffa","observation_id":"19484a49-e5bd-4143-b210-f818a3c40375","resolution":{"observed_at":"2026-08-12T15:18:12.945982Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.623127Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.623127Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:9d0e39527a9b6774104d80692ac6da0a1afbc182669b4e36a82bbcb75cf918f4","observation_id":"f6a4a69a-7110-4f1d-9207-c0ea94514bff","resolution":{"observed_at":"2026-08-12T15:18:11.623127Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-11900-7_18","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.109008Z","title":"In Davide Brugali, Jan F","venue":null,"work_id":"0edb1d5e-a0f3-4bcf-846f-ef1ecf9ece2b","year":2014},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.628557Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:3c926ddf2ceca765b319dc17e34c80bf10f035c04aad04bada5ac11880143ea0","observation_id":"0ccbb19a-d995-4422-9fbb-e32a70adf64d","resolution":{"observed_at":"2026-08-12T15:18:12.114520Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.633888Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.633888Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:32ddaaf5605dd1754ef3561f1c84ba545b80a79bb757d52afd011a52ade8e928","observation_id":"5b167a98-efe4-415b-90eb-ebfe28010e96","resolution":{"observed_at":"2026-08-12T15:18:11.633888Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.919960Z","title":"In Michael J","venue":null,"work_id":"99b40446-c548-4e64-90b1-1bb6b0b382f5","year":2011},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.639872Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:d434091c0a7d826ea11aff06bfc9adb321ae10c63bbd5f21869132f25f30b7c4","observation_id":"dc8a1182-3705-4055-89ee-c577ca4846bf","resolution":{"observed_at":"2026-08-12T15:18:12.926433Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.889500Z","title":"In Erika Ábrahám, Clemens Dubslaff & Silvia Lizeth Tapia Tarifa, editors: Proc","venue":null,"work_id":"946e8da4-436a-48fa-8ea1-1bddce27c9a9","year":2023},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.646448Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:f8cb6b97e15291fc4887256f03503d83925f622b7524a67e039f1906565e7b50","observation_id":"20643e3a-e442-45a9-9481-9bc905248ac6","resolution":{"observed_at":"2026-08-12T15:18:12.898151Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2020.00081","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.592042Z","title":"In: Proc","venue":null,"work_id":"f0ea6010-579f-44b0-bc3b-ca48cfda8478","year":2020},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.651600Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:fc0fe0698ae9a8682d0e113a8d0e58962245fc8779ba21682da023e7d7a94dbc","observation_id":"f48514b2-0f35-43f9-af56-5c3217b630da","resolution":{"observed_at":"2026-08-12T15:18:12.603107Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11219-020-09535-w","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.089913Z","title":null,"venue":null,"work_id":"6e68af5d-ccda-4ff6-8729-f0bbe8b5c858","year":2022},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.657890Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:8cfa63e4a9a3f1808dedbd5b7ef3b14c7a47a09576c436011c2ea883452e41cc","observation_id":"e7de6688-e105-4e82-880e-135aa422b2d5","resolution":{"observed_at":"2026-08-12T15:18:12.096543Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-31980-1_36","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.072003Z","title":"In Nicolas Halbwachs & Lenore D","venue":null,"work_id":"96bf9b6f-5692-4ded-bc08-9d5e67497c31","year":2005},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.662984Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:50dfa32b88275bc880260bfa08846615a7170eb8f519ba9f1e6ad424444e04af","observation_id":"9ea562ad-5c5b-4190-9329-bfb94b5b73f4","resolution":{"observed_at":"2026-08-12T15:18:12.076970Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/b978-044450813-3/50026-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.052679Z","title":"Clarke, Orna Grumberg & Doron A","venue":null,"work_id":"90a77c5f-3497-471d-96e4-314db803d28b","year":2001},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.669561Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:f459be366feb41debc23056c3b2cd8336b012007ac26cad8d6a568a5aa05bace","observation_id":"61cf891b-f94c-449c-b615-f935a1ca5993","resolution":{"observed_at":"2026-08-12T15:18:12.058697Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.676295Z","title":"Sipma, Sandeep Mehrotra & Zohar Manna (2005): LOLA: Runtime Monitoring of Synchronous Systems","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.676295Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:4ebf896041fb7b8957b0dd692124b815ecc4a588e9ebfa6e97aa70ed792c3277","observation_id":"b31f0b48-c076-4c7a-8666-48729badd6a5","resolution":{"observed_at":"2026-08-12T15:18:11.676295Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-43360-3_11","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.014067Z","title":"In Fumiya Iida, Perla Maiolino, Arsen Abdulali & Mingfeng Wang, editors: Proc","venue":null,"work_id":"f1212d3f-b195-447c-9914-0cda2520dbc8","year":2023},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.681869Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:4ad72d2bb7bdeac8ffb49ea5ad1e34be07553a44aa3db1fed88d683b8a253e03","observation_id":"a6fafa8f-fd2d-48c6-8c1e-77d1f6e39f40","resolution":{"observed_at":"2026-08-12T15:18:12.019990Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-67531-2_11","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.994703Z","title":"Seshia (2017): Combining Model Checking and Runtime Veri- fication for Safe Robotics","venue":null,"work_id":"98aa058d-a1dc-4b73-b593-55a3006fc1bd","year":2017},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.687743Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:ff1ae41c1c456e0da414d5da322d42da3bce72c93e4d76db16b1d41e9619627d","observation_id":"97f9a7a5-6401-40cc-9c81-99cf25c125fe","resolution":{"observed_at":"2026-08-12T15:18:12.000671Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.693565Z","title":"Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini & Viviana Mas- cardi (2020): ROSMonitoring: A Runtime Verification Framework for ROS","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.693565Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:7de060ecdd1141fc76bb4ad4e90c61387c8229e7c7a9b16d9b3a6c6a6cb08b37","observation_id":"52a3b373-4f07-4c2b-a123-1c1427d5ab0c","resolution":{"observed_at":"2026-08-12T15:18:11.693565Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.869552Z","title":null,"venue":null,"work_id":"b75fe173-bb65-488a-aa49-86eb86375f55","year":2016},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.706318Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:585fcbfbe07d008452616e45a696095fdf4a2d10f4988db2b6968a457eb6d292","observation_id":"a630204f-0096-4601-9374-018134c774e9","resolution":{"observed_at":"2026-08-12T15:18:12.875259Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.843296Z","title":null,"venue":null,"work_id":"8dca8be2-50d9-4908-859d-2ef45d3cb066","year":2020},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.713515Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:7a188858e4b6d34cdd229969fe9263c53379d36a588bb696e3f2e7fb9f0cfea7","observation_id":"296128d7-7d4a-4394-abac-091e85132a6a","resolution":{"observed_at":"2026-08-12T15:18:12.853803Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.722431Z","title":"In: Proc","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.722431Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:60e9b494bede75254b05ce34512febce5795d28043b56a48e0804eca6b376c9d","observation_id":"8dbe472e-2694-45b2-b849-3f462a8d551e","resolution":{"observed_at":"2026-08-12T15:18:11.722431Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.728437Z","title":"Moore, Qingzhou Luo, Aravind Sundaresan & Grigore Rosu (2014): ROSRV: Runtime Verification for Robots","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.728437Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:dced12de68e998e831e85739161b98a3cea5b1b1b086ef27ec1003fcb7395d02","observation_id":"567b0220-0554-4b90-bae1-b93915c846dd","resolution":{"observed_at":"2026-08-12T15:18:11.728437Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.820756Z","title":"www.isp.uni-luebeck.de/lamaconv","venue":null,"work_id":"979116f3-67e6-4a87-acd3-938ec034d435","year":null},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.734042Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:91f6489be1ee09eac6a9f3d20237d54e18ba855e75940e9a5508950b0b3895af","observation_id":"64bc2e19-9be8-44d3-aa13-3c829464b475","resolution":{"observed_at":"2026-08-12T15:18:12.826910Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s40860-019-00095-w","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.941679Z","title":null,"venue":null,"work_id":"e3f75640-9966-4d3e-9e68-a55750262a25","year":2020},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.739853Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:3bb8638d5337a89bc0e0575afe94445197816ca9df817b48776ead2d248e5301","observation_id":"a01b1afc-71bd-4a69-bece-4adc572d17d4","resolution":{"observed_at":"2026-08-12T15:18:11.948477Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.746788Z","title":"Real Time Syst","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.746788Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:507b86c347d54b8a4c7fb37eb3d7cc39329b62654812597bf7a84b12f489520d","observation_id":"340d62be-3a18-415e-bcba-47a29ba1a1b0","resolution":{"observed_at":"2026-08-12T15:18:11.746788Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.751743Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.751743Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:45c46851afb4467d1a95c0a994d9f0aaef3c1ab967d01f96640cde07fc578b1f","observation_id":"d0582490-4141-468a-8ec3-13bfafabdd1d","resolution":{"observed_at":"2026-08-12T15:18:11.751743Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.757220Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.757220Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:fa300d59e3c0640d72151cd47675ab4b98120b30c92002cca6b0f087ab7c7420","observation_id":"a9f04976-f517-4437-b5bc-0cb9187e7426","resolution":{"observed_at":"2026-08-12T15:18:11.757220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-59152-6_34","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.892105Z","title":"In Dang Van Hung & Oleg Sokolsky, editors: Proc","venue":null,"work_id":"be6c414e-737f-4e00-8742-6dc8ea321ce0","year":2020},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.762197Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:17ab4278e6ff501d5639454b3aaf06dc630786e1f33ddc86fe8725c21f20c1e7","observation_id":"c9413e38-ca44-4a60-a00e-06b58305e4e6","resolution":{"observed_at":"2026-08-12T15:18:11.898513Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5163.80163","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:12.428169Z","title":"Technical Report, doi:10.13140/RG.2.2.35163.80163","venue":null,"work_id":"e6587f4b-9552-4332-b8bb-b5b332e56afc","year":2020},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.768317Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:c7cd6134146ea656ccc42fbc40840ff1b9bcb778a9ff98331b6350961785f6e9","observation_id":"80a2d165-ed5c-4d57-923c-d3fcee4975f7","resolution":{"observed_at":"2026-08-12T15:18:12.446434Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.371.15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.873016Z","title":"Martin (2022): Mon- itoring ROS2: from Requirements to Autonomous Robots","venue":null,"work_id":"970f9289-8d00-4f48-964e-aa481d71d26f","year":2022},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.773345Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:b50b47aa77b93593e8f34f9a051ea3a96474c72a7b7ae1f85064519418e35d06","observation_id":"2dfa4549-8038-4df7-8398-b48f755e327e","resolution":{"observed_at":"2026-08-12T15:18:11.879267Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.778320Z","title":"In: Proc","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.778320Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:bcc0897efe491aadb5dd2a94f9d8ffe3e9c6e8526e1de4306f9b4b3e57336944","observation_id":"b5b4ed06-f256-4ec4-9bb0-061116632a30","resolution":{"observed_at":"2026-08-12T15:18:11.778320Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-59152-6_13","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.839186Z","title":"Basin & Dmitriy Traytel (2020): Multi-head Monitoring of Metric Dynamic Logic","venue":null,"work_id":"2fc72a3e-d992-437b-8827-ac02ca594834","year":2020},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.783176Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:4bc61ebaa5c30e26e4b1c0499d4a33069c50d425bfc4d8104700d5e8f7654607","observation_id":"90a8ddef-9449-41c8-99a6-2ca15ac0b87a","resolution":{"observed_at":"2026-08-12T15:18:11.846152Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.790688Z","title":"In: Proc","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.790688Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:d96e68e9aed2110cc72ff969a7f8f20a2bb71b4cd702970e1bad05cdfefe9b85","observation_id":"c59e4852-bfc0-4bda-8011-a42f39f0d6e7","resolution":{"observed_at":"2026-08-12T15:18:11.790688Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:18:11.796966Z","title":"Prasad Sistla & Edmund M","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T15:18:11.796966Z"},"links":{"citing_paper":"/paper/2411.14367"},"observation_digest":"sha256:39396e5e98ea249c77b152b8bb85a57960e4d5d92ba98594ea52a9c3fae1c1a6","observation_id":"567e54ee-7f6e-47e2-a8d2-bc8abf01b123","resolution":{"observed_at":"2026-08-12T15:18:11.796966Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.14367","last_updated":"2024-11-21T18:07:31Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-12T21:45:49.455286Z","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":4,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":12,"verified_exact":12,"verified_fuzzy":3},"total_outbound_references":31},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2411.14367."}