{"as_of":"2026-08-20T13:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7e31b1d9522e9349b9f094bdeb50e53190fddf20deb10d04a0aa2a9b2c666d06","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:32:53.063309Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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.14162/citation-record","integrity":"/paper/2411.14162/integrity","json":"/paper/2411.14162/citation-record.json","paper":"/paper/2411.14162"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:32:52.928647Z","title":"Available at https://www.behaviortree.dev/docs/tutorial -basics/tutorial_02_basic_ports","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.928647Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:c23fd61a59e4eab588e18ad083ea0ac6286314483e2c279c0e7881a2321ef1f9","observation_id":"4ee15f76-dff4-4353-9fa0-52c6e857053d","resolution":{"observed_at":"2026-08-12T15:32:52.928647Z","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.1109/rtas.2009.20","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:32:53.233373Z","title":"Chivukula, Olugbemiga Adekunle, Mu Sun, Marco Caccamo & Lui Sha (2009): The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety","venue":null,"work_id":"f31e835a-34bc-432c-a6f8-6d1a40c0c53e","year":2009},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.932584Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:b9b4b0e570b09fb0403db7f802512ed3754dafcde623b938250f0ddde2980a73","observation_id":"2ae703c9-8d32-4030-bc9e-8f526627f51d","resolution":{"observed_at":"2026-08-12T15:32:53.238776Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:32:52.936658Z","title":"ACM Trans","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.936658Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:edbb5b80d40b9cd187e7518cec54b399caba9a4a668613acfe85977aeb9ddf6c","observation_id":"fd00cf65-a1d9-4b33-9a0f-61da8a03ea70","resolution":{"observed_at":"2026-08-12T15:32:52.936658Z","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:32:52.940468Z","title":"IEEE Robotics and Automation Letters 5(2), pp","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.940468Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:b2797a03ff93dfdc81c355cd19bd0e595493bc623c53050b3f7db981362d705d","observation_id":"1fbc8236-23f0-4b9c-803c-8a4f330946bf","resolution":{"observed_at":"2026-08-12T15:32:52.940468Z","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:32:52.944237Z","title":"IEEE Robotics and Automation Letters 6(3), pp","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.944237Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:186ad383cc5359620589f6ad10c7b47f9eff739db2b520549e38592903c305fd","observation_id":"e2c00055-2a12-4a85-992d-3b4d3a82606a","resolution":{"observed_at":"2026-08-12T15:32:52.944237Z","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:32:52.948113Z","title":"In: CA V, pp","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.948113Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:e361520eb040ecdfbdae778bc5d688e1a2a649cc08afe697023132464d93a4a3","observation_id":"dd2252a8-19d5-4812-bc91-66d55d475cb7","resolution":{"observed_at":"2026-08-12T15:32:52.948113Z","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-32079-9_23","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In Bernd Finkbeiner & Leonardo Mariani, editors: Runtime Verification, Springer International Publishing, Cham, pp","venue":"Lecture notes in computer science","work_id":"68c7f01b-4064-45b9-a9cb-d4f8d1cdfaca","year":2019},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.952051Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:66f2f18c8da4f99d35044e3537ac61fd17436b7559fbd2744ecce4c767656202","observation_id":"9a1fbc28-3a41-4f29-9b37-a5092b5adb62","resolution":{"observed_at":"2026-08-12T15:32:53.216150Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:32:52.956490Z","title":"Domenichelli, Lorenzo Natale & Armando Tacchella (2021): Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.956490Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:c07cd29047fe859ce7a719e999146fd3748af052b57954c96e5bd25d9a55298e","observation_id":"b9aa1ec2-6888-4d6b-878a-9ef3835c6973","resolution":{"observed_at":"2026-08-12T15:32:52.956490Z","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:32:52.960382Z","title":"In: 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.960382Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:4a85cff57ae90678d02ec02b19e0f11d49786f1bfe021702d6acf9a5ec4513da","observation_id":"a3b518c1-874c-4f3e-89c8-2ccdce697b12","resolution":{"observed_at":"2026-08-12T15:32:52.960382Z","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:32:52.964155Z","title":"In: 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.964155Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:30dd2ac1853b3e23f20526527ae43160ade9baff17a06ca50ef3ecbbdc37975c","observation_id":"86bb1811-795c-4e0c-ad8e-4352fa68b51e","resolution":{"observed_at":"2026-08-12T15:32:52.964155Z","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:32:52.967895Z","title":"IEEE Transactions on Robotics 33(2), pp","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.967895Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:a5890d0290210ebad33f5c0944a00768b31f0565c44836ddee7456379b5db4b9","observation_id":"1ba4f982-57a5-421d-8ed8-d7b6844e84b9","resolution":{"observed_at":"2026-08-12T15:32:52.967895Z","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-03769-7_13","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In Christian Colombo & Martin Leucker, editors: Runtime Verification, Springer International Publishing, Cham, pp","venue":"Lecture notes in computer science","work_id":"b44d0161-b862-4de4-8240-79875511b036","year":2018},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.971576Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:62fdd6643f240d93d8eed91b8a41caeccdd47e1b14c21a23307db64114f97415","observation_id":"0df4f493-7f6b-4116-94f3-39d6378241ab","resolution":{"observed_at":"2026-08-12T15:32:53.200847Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:32:52.976541Z","title":"Available at https://docs.unrealengine.com/4.27/en-US/Interactiv eExperiences/\\ArtificialIntelligence/BehaviorTrees/BehaviorTreesOverview/","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.976541Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:5d25a9815c56ddfb3b0adb89c673421853a9e6784aa4473de49209dc8ebaff78","observation_id":"d2e7b47e-4ede-4789-b624-3925ce15a83c","resolution":{"observed_at":"2026-08-12T15:32:52.976541Z","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:32:52.980139Z","title":"Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini & Viviana Mascardi (2020): ROSMonitoring: A Runtime Verification Framework for ROS","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.980139Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:5ba43d3919aff80e7e2d9ff72a0b8678b0a1cc2dfdb5c579514b9c597f8fd6b5","observation_id":"70a1e1c4-2088-45a2-8740-02fca0a9e4d0","resolution":{"observed_at":"2026-08-12T15:32:52.980139Z","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-18192-4_12","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"18447e6d-8e7a-4916-8f27-6edf90dff1dc","year":2022},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.984487Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:b5cc53ef4a0ee6130cd9221463ee72af10dda72a582175d36c0e389d3d5af551","observation_id":"042d756d-f479-4452-8ca6-af6bdaf4c33d","resolution":{"observed_at":"2026-08-12T15:32:53.180266Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:32:52.988263Z","title":"In Gérard Berry, Hubert Comon & Alain Finkel, editors: Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, pp","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.988263Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:5964b4aa59da640a725c543955a4201fdb5562b9cea76c422a45b1f2f2e69c4a","observation_id":"cb8fb53b-9289-42a3-9279-9b1ac879a556","resolution":{"observed_at":"2026-08-12T15:32:52.988263Z","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:32:52.992219Z","title":"In Jan Friso Groote & Kim Guldstrand Larsen, editors: Tools and Algorithms for the Construction and Analysis of Systems, Springer International Publishing, Cham, pp","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.992219Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:aae9ad563db33b5e9b0a3fbed5da6c05a7f4ef7fdd804240804b8ddc40253a39","observation_id":"4ce0df6d-f74d-4f53-8514-7cbe00e6ffc7","resolution":{"observed_at":"2026-08-12T15:32:52.992219Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:32:52.996233Z","title":"In: 2022 International Conference on Robotics and Automation (ICRA), pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.996233Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:075cf8e37525a8278a34e6c748867e5ee37c3f19b06b7a5604f9c0f6b11369ce","observation_id":"0948617d-c2a7-4dd7-a921-9d3097446eee","resolution":{"observed_at":"2026-08-12T15:32:52.996233Z","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:32:52.999868Z","title":"In Jan Friso Groote & Marieke Huisman, editors: Formal Methods for Industrial Critical Systems, Springer International Publishing, Cham, pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:52.999868Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:7027412cb6d49aaff9e541569355462d54748b8772fcd7bda40a690c46379642","observation_id":"106b4ea5-4dcb-4571-b232-710562df7ce3","resolution":{"observed_at":"2026-08-12T15:32:52.999868Z","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:32:53.003361Z","title":"Holzmann (1997): The model checker SPIN","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.003361Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:fa21c5384ab8b322a00950c82a72ed6b97b9b932b6709f3a524dd502ac7dfd7b","observation_id":"68493b70-55c6-4b89-9be5-411f511df1e3","resolution":{"observed_at":"2026-08-12T15:32:53.003361Z","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:32:53.006971Z","title":"Robotics and Autonomous Systems 154, p","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.006971Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:612e1d934c357f8a1615af279e804952279038628840cbe4001b3bbf66b418c6","observation_id":"c2d458e1-9c07-4a2c-a535-7c8f5bb2d3d4","resolution":{"observed_at":"2026-08-12T15:32:53.006971Z","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:32:53.010182Z","title":"In: 2014 IEEE International Conference on Robotics and Automation (ICRA), pp","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.010182Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:c5dfbd09536222f58ec4985702df7094658c8edbd93a934b34ed45f7b7516a4f","observation_id":"2adcd71c-ab3f-47e4-8203-186c4130572c","resolution":{"observed_at":"2026-08-12T15:32:53.010182Z","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:32:53.013265Z","title":"Available at https://move4bt.github.io/","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.013265Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:8e6cf035c7260990c4913d0892ec5889f23b54ea609dde3554f9e7f93cf9b5f2","observation_id":"b973f994-9fe3-4a25-bba0-7cf946cf4b5f","resolution":{"observed_at":"2026-08-12T15:32:53.013265Z","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:32:54.308021Z","title":"Technical Report Technical Report NASA/TM- 2020-220587, NASA","venue":null,"work_id":"3a882836-f992-462d-98c6-5b3fc28c015a","year":2020},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.016714Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:d9334e524f43694c6c29eb95e02710accedc0f8ae919240e0e621b276f21ca4e","observation_id":"7577c274-53bb-4918-b6bf-2a44ca3b9fd9","resolution":{"observed_at":"2026-08-12T15:32:54.312165Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-99524-9_21","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"1f3629e0-83f9-4a40-86b6-92dd1441c506","year":2022},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.019871Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:1232709a7f8053a337abfcc423e136fdaa8bf3d1e1534c3b1ab0ac30ab4e3c02","observation_id":"dd26b5b2-3d6c-4abc-84cc-2276721d98bd","resolution":{"observed_at":"2026-08-12T15:32:53.133116Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:32:53.023464Z","title":"IEEE Transactions on Cybernetics53(8), pp","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.023464Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:c4f78d2152d8f096e8743c20bcfe52bb4ab002579e7906fe7c0d1541fae6f991","observation_id":"1dbb66a0-7a83-4a8c-bb1c-30ac06a63d36","resolution":{"observed_at":"2026-08-12T15:32:53.023464Z","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:32:53.027603Z","title":"Serbinowska & Taylor T","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.027603Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:252dae860f31c407066838324d1a67c9ade599ca2d5acc4473dda7593c060de8","observation_id":"cc92124b-8e8e-4275-bc4b-396bdf8485a3","resolution":{"observed_at":"2026-08-12T15:32:53.027603Z","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":"1998.70325","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:32:53.557929Z","title":null,"venue":null,"work_id":"167935b0-7e00-4ed5-9941-cce719d44bd1","year":1998},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.031868Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:b785d23c4c822a9826b4cd3a94bf16440d5fdc503d3ba983f0f4079a13506d24","observation_id":"dbc985a3-d3fc-4a7e-820f-e1487bcf4918","resolution":{"observed_at":"2026-08-12T15:32:53.564458Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.21236/ada373286","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:32:53.105248Z","title":"Seto & L","venue":null,"work_id":"bbee6be7-9447-468f-b2af-e7209aea712d","year":1999},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.036268Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:1d2081bf3803c772110bcba1a9e5b8a9daeb569956611af24ea60f67ef2e297a","observation_id":"0616528c-7b51-4c46-99f3-7be3663f6c77","resolution":{"observed_at":"2026-08-12T15:32:53.110647Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:32:53.040241Z","title":"In Marco Hutter & Roland Siegwart, editors: Field and Service Robotics, Springer International Publishing, Cham, pp","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.040241Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:c974ff2da11608a383bc6c8622777b3686e7128916c394bc0ec2994bf66a42aa","observation_id":"727bb8b7-c81b-45b4-9b88-57ab70ff291a","resolution":{"observed_at":"2026-08-12T15:32:53.040241Z","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:32:53.044157Z","title":"Sprague & Petter Ögren (2022): Continuous-Time Behavior Trees as Discontinuous Dynamical Systems","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.044157Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:4a418f68fa157a858f0df9862de63aae25344963cf7f245b961ecf16d3eda64e","observation_id":"20a2b993-2220-426b-bc7b-f7a1f724e487","resolution":{"observed_at":"2026-08-12T15:32:53.044157Z","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:32:53.048171Z","title":"Available at https://py-trees.readthedocs.io/en/devel/modules.html","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.048171Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:4819ced11a70a6d1449322a66eb60a0f50e60c3d68f9e033b969412f922877c3","observation_id":"f7281453-5e12-4e4f-9c82-0591517f561f","resolution":{"observed_at":"2026-08-12T15:32:53.048171Z","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:32:53.052075Z","title":"In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental V olume (DSN-S), pp","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.052075Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:1adf11d986e0d6d738b5a2c205587ef1d089d9311a4beed5827f1997a17e4adf","observation_id":"387f0433-b40f-45ad-9244-2b564dc423f0","resolution":{"observed_at":"2026-08-12T15:32:53.052075Z","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:32:53.055818Z","title":"In: 2021 IEEE International Conference on Robotics and Automation (ICRA) , pp","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.055818Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:c97cdc58d4aaa7a8cf08da5dc6959a9eecfd90d7abe58d7f40f273b466d78017","observation_id":"59bb09b1-7e61-4554-be2b-bd270c376bca","resolution":{"observed_at":"2026-08-12T15:32:53.055818Z","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:32:53.059733Z","title":"IEEE Robotics and Automation Letters 5(4), pp","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.059733Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:a0d233941d0d539b69225501a9029a32c226de2cecae50e06eb17c66837e3453","observation_id":"4b2529be-b1d6-456b-a990-20dabf724c18","resolution":{"observed_at":"2026-08-12T15:32:53.059733Z","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:32:53.063309Z","title":"Sprague (2022): Behavior Trees in Robot Control Systems","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T15:32:53.063309Z"},"links":{"citing_paper":"/paper/2411.14162"},"observation_digest":"sha256:f34f9109b65aedae2909372f1b0eee6b8fd93a44b1076995d414c5c1be31ec21","observation_id":"0087ca10-1580-4893-b254-822c5d839dba","resolution":{"observed_at":"2026-08-12T15:32:53.063309Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.14162","last_updated":"2024-11-21T14:22:17Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-20T05:37:38.965546Z","submitted_at":"2024-11-21T14:22:17Z","title":"Verification of Behavior Trees with Contingency Monitors"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":2,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":26,"verified_exact":6,"verified_fuzzy":1},"total_outbound_references":36},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2411.14162."}