{"as_of":"2026-08-05T02:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3ccd153bef4012bf58c8b50153f8e5cb1823e29a70f8d705d7492049aeac6189","coverage":[{"denominator":48,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":48,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-24T19:02:58.877167Z","state":"measured"},{"denominator":48,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":48,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+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/1907.08491/citation-record","integrity":"/paper/1907.08491/integrity","json":"/paper/1907.08491/citation-record.json","paper":"/paper/1907.08491"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"bbf619c9-20eb-4317-a755-3c71520b9a93","year":2019},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:cbe492a2c5d485521f7778e4aa2ca0c05971b6f489a5b1b0f0fb6e084320b5db","observation_id":"1a5eccb9-c8fc-4275-8728-7d3166aa5ee3","resolution":{"observed_at":"2026-05-24T19:04:51.073046Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: SRDS","venue":null,"work_id":"52910092-7717-41b7-b45a-b0d6865ec12e","year":2017},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:445ad7c166eb7a0b5ad5d2739a88c6c9f3cfc64f01fb1c3d95cc8bde993153f9","observation_id":"a5995baa-c4fe-418b-a35a-7a472cad8455","resolution":{"observed_at":"2026-05-24T19:04:51.109643Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: Handbook of Model Checking","venue":null,"work_id":"7c0d761a-9f89-43f0-bb68-a52ea2873107","year":2018},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:dbcf78b968ece348cf95d0b27a226afbbec23000fa3d55e9dd37791faff70245","observation_id":"d61ca3c0-b056-4838-a548-58a3a0428904","resolution":{"observed_at":"2026-05-24T19:04:51.099387Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"MI T Press (2008) 3 Although monotonicity is not explicitly mentioned in [40]","venue":null,"work_id":"b9f93913-123f-4ed0-b3cc-21041b75c983","year":2008},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:dd3d3b17d99ae10ba8d150176de03b65c7bb70488a02aaadb87d3c7ffccdf6ea","observation_id":"e4c2d264-2e22-4d6f-95ff-1b7639a4fc09","resolution":{"observed_at":"2026-05-24T19:04:51.096063Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: TACAS","venue":null,"work_id":"30fdbc2e-e06d-4376-aae7-806dd6265d73","year":2011},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:855c65838fc1af6461499b19c6bb184b4a035360eecb6fd60a8fbc03b3c58fbc","observation_id":"581148df-5529-4c33-9d9b-6ea012b2ac99","resolution":{"observed_at":"2026-05-24T19:04:51.102695Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: IJCAI","venue":null,"work_id":"58bbe9e8-099d-4ad4-ac6b-7e4bf0948616","year":2017},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:c9b462150ca63d0938bd35897b288ad098d39a54193bdcc9afe5068c9d86e132","observation_id":"01edda6b-4b37-410a-9293-17224e32e0e1","resolution":{"observed_at":"2026-05-24T19:04:51.106106Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3924f767-45fb-4080-ac31-b4bf646218c2","year":2003},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:67001aac41304521bddbb5bbc54ab1efeda08ee751c242e266a59e6fa5976949","observation_id":"620d3300-03c1-4f5a-bd78-9e6d0309f0cd","resolution":{"observed_at":"2026-05-24T19:04:51.117037Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: CA V","venue":null,"work_id":"ac38831b-0f32-466c-8f16-27be1f5e1877","year":2013},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:1088535093b544f9e04a675b4f5979f896835638c3f0faa3f9bb4167efad38c6","observation_id":"831aeb0b-f724-47b3-a7c8-94d719b0b00e","resolution":{"observed_at":"2026-05-24T19:04:51.088380Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Paoletti, N.: Efficient synthesis of robust models for stochastic systems","venue":null,"work_id":"a9fb09e0-5772-4fed-930c-2a1740a16c6d","year":2018},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:02daaaffd39d23d1638c1707f207b445793a95640a4b4e01d49d91824a6dbfbe","observation_id":"81861180-74ed-4648-882e-fd01dadde149","resolution":{"observed_at":"2026-05-24T19:04:51.092402Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Act a Inf","venue":null,"work_id":"1a2b1fcc-04a8-4a17-9849-ecbbc92942d4","year":2017},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:51b7bb5c685e71bf05f974020f2d4180f75b573f122ea4a585ff63a8905e9067","observation_id":"b42d6322-b2ca-4ada-9cdf-fb93e4ed092d","resolution":{"observed_at":"2026-05-24T19:04:51.113276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: FoSSaCS","venue":null,"work_id":"83b9c63f-01a6-487c-a8d1-d076c0c86432","year":2008},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:93d395118c22ff6d521d0e19e9c2ec1595de0c3ba5ccfe82efbea77a3c93005c","observation_id":"c498da9d-31f6-4bf8-bf4b-9a8a0a30b002","resolution":{"observed_at":"2026-05-24T19:04:51.124227Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"20edb69e-7893-4e60-bb49-5b72763d10e9","year":2018},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:7206f92d5eaf99e8b3ceb5590cee55ea911ae57b7644027091597297673d14c0","observation_id":"b6bd7c49-4389-43e4-ab07-45be3e5dfcbf","resolution":{"observed_at":"2026-05-24T19:04:51.120386Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: TASE","venue":null,"work_id":"511369f1-349e-4ad1-8ba1-42ac0d7762fa","year":2013},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:40cf61df406fc5f9268bc56ca756f23f45c2b02ae627c5b7037af11dab7ce365","observation_id":"7380fcfd-1895-4c07-b0cb-cc66f3cd883c","resolution":{"observed_at":"2026-05-24T19:04:51.047424Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1701.02996","last_updated":"2017-01-11T14:57:30Z","snapshot_observed_at":"2026-07-06T05:25:50.169119Z","submitted_at":"2017-01-11T14:57:30Z","title":"Reachability in Augmented Interval Markov Chains","version":1},"cited_work":{"arxiv_id":"1701.02996","doi":null,"metadata_source":"pith","pith_arxiv_id":"1701.02996","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Reachability in Augmented Interval Markov Chains","venue":"cs.CC","work_id":"94355896-f25c-451b-9ba5-ba573beadd4c","year":2017},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"cited_paper":"/paper/1701.02996","citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:b692ee39520d01d0cec2dd0a0cc04190dd3dcb51b0509441e215f0e3293b30a7","observation_id":"8e6db8ad-759a-447c-9637-a1caf4a324f3","resolution":{"observed_at":"2026-05-24T19:04:50.191527Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: ATV A","venue":null,"work_id":"a02a977b-8970-47cc-bbe3-781ae0aff801","year":2018},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:d90f4954f098d6f504ad8d9c41779b43b36f34b7aaa5fdcbf0daa56282f02c00","observation_id":"6a9f4e3d-d75c-43df-88a6-d9bf3c5c191d","resolution":{"observed_at":"2026-05-24T19:04:51.069485Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Ze itschrift fr Wahrschein- lichkeitstheorie und Verwandte Gebiete 10 (1968)","venue":null,"work_id":"1b7e1b9b-0133-424e-b877-188f659580df","year":1968},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:b028b8ad66909a407423215bcf563944bbe7e95fe6203e4df015876a4f0d240d","observation_id":"a6e343e7-3f42-43cb-af14-d8fe4649d9f2","resolution":{"observed_at":"2026-05-24T19:04:50.979873Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: PAP M-PROBMIV","venue":null,"work_id":"32a87922-d82f-4d47-bda4-e9cea4d0c819","year":2001},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:2e5994fb45e70cd84ebd83965f3a46dccd1744236c5e3d8243b9afe5de652ab6","observation_id":"75e72517-4bb8-49e6-9192-5f7480585cfa","resolution":{"observed_at":"2026-05-24T19:04:51.055234Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: Proc","venue":null,"work_id":"50d2cb1f-fa11-4c66-a9db-fedbd3a1dd13","year":2004},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:2be5f974126279423f0f1aedf0b4f8422ebc4e3733d30f518d0765a9ffc93704","observation_id":"c5f548c6-e439-48c5-8e6e-1cf10737aba3","resolution":{"observed_at":"2026-05-24T19:04:51.051008Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: CA V (1)","venue":null,"work_id":"802848bc-c596-4b74-9f3b-4e43c7132e9a","year":2015},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:03873b0fa4b4868ed3699097b74dc921faf14c528f6b70f50a5c3aface0dac33","observation_id":"d29c040d-164b-46fe-8e21-4fd3d04d9966","resolution":{"observed_at":"2026-05-24T19:04:51.065974Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: CA V (2)","venue":null,"work_id":"3d5cdcec-7d1a-4cde-8654-d769c141bd74","year":2017},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:13a46eb9a3648dfa20ffbe836aa9a76fc91ac253565cd4a8ec9c5af25fbbc752","observation_id":"6e3240df-2b99-4f14-9dc0-e7571ebd33e0","resolution":{"observed_at":"2026-05-24T19:04:50.986455Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: ICSE","venue":null,"work_id":"0ca2a94c-8d4f-440c-b95c-7d374847d382","year":2011},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:85a942c397bafc920c531cca819bb96c548b2a9ac5f8a2b3a9ba9142e1a905e3","observation_id":"4709b161-433c-4b0b-9764-8477ea299b7e","resolution":{"observed_at":"2026-05-24T19:04:50.961610Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"IEEE TSE 42(1) (2016)","venue":null,"work_id":"bd7d78b1-ba6f-4dca-84f3-8ff15dc391a4","year":2016},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:7d68a3cee2c1abdae47e800959d29236eec8212c1f616d16ec6507487c06dae8","observation_id":"45e641c5-aa1c-4dc0-94ac-418518837ad1","resolution":{"observed_at":"2026-05-24T19:04:51.032738Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: ATV A","venue":null,"work_id":"513055c6-f54e-4bb1-b278-dd4e29fabaf8","year":2018},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:d938f42427a67502350687fa9fec27b60e15a8ed0b809dcc4714805340fe8248","observation_id":"df42df74-7358-43dd-8fa0-3a8d93337429","resolution":{"observed_at":"2026-05-24T19:04:51.036890Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"adc48363-af4e-41fd-989e-e6fd970dff44","year":2019},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:c91ab84dde6aae10d1aa161b041f7e3f5a4f981356c8a7890e8b3ca5b3413e5a","observation_id":"434523e5-3d3b-4ddb-af06-99ad15a42fed","resolution":{"observed_at":"2026-05-24T19:04:51.021827Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b0ab1ecf-ae4e-4be5-9cf4-bdfd6c0b7ee1","year":2018},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:b898e69b42b35e227bd558f7b096d7cb0da33d98ded8df01747bc95e61a1c6f4","observation_id":"eb515c2c-e9cc-40d9-b20d-591ec8877cc1","resolution":{"observed_at":"2026-05-24T19:04:50.983066Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: QEST","venue":null,"work_id":"43e33d42-6742-4bea-ace8-337d06368cae","year":2009},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:063962750c1f937fa2bd3651efc60e5253151de716c0195057ecc8cd45a55279","observation_id":"c564a9f3-b1ba-4361-bc7d-985fae5cf82d","resolution":{"observed_at":"2026-05-24T19:04:51.018143Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Software Tools for Technology Transfer 13(1) (2010)","venue":null,"work_id":"e781f78b-9195-4864-9cdf-a23abab07c3a","year":2010},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:a7ef49f5703848acba8a346ce3a4f8e7f6b0d34a083aad12c6f130ad4fd14581","observation_id":"870ae7b8-71eb-4425-8340-743a6ea24744","resolution":{"observed_at":"2026-05-24T19:04:51.010466Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: TACAS","venue":null,"work_id":"03d6c47a-cc46-453e-972f-057276fd72c1","year":2019},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:50fe41bde1bca48bc85f652fec3fa92b5a7f48c8d8e8cbf39bc1e650d5294d33","observation_id":"a1588190-c04a-4e24-a560-995064119595","resolution":{"observed_at":"2026-05-24T19:04:51.025116Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1dc63eba-389e-4d60-861a-1ba51d2114a8","year":1990},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:2631112f39f86fd3a90af17e1b80611fc95017603fce07ae62862d1d05a1c6b4","observation_id":"2a156167-474f-44a2-97e8-13f6d85c6e91","resolution":{"observed_at":"2026-05-24T19:04:50.999172Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: GandA LF","venue":null,"work_id":"647f19c7-1a95-4b94-a10b-fcfbe616b24d","year":2017},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:36f26850958f08acc40f09b94fd32df6c2ffd2a42e015bf6422a14b86d8102fc","observation_id":"92068a55-4165-4685-99fe-887b18e52503","resolution":{"observed_at":"2026-05-24T19:04:51.013958Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"I n: QEST","venue":null,"work_id":"178e020b-d695-4a44-bc50-281e3457ed75","year":2014},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:5e3ad2879be4a364acc7879be4682e7bc40b27f6356622e8fb450260d48b9644","observation_id":"425b2928-3fdf-467d-bffe-cfe0dbc8cf0d","resolution":{"observed_at":"2026-05-24T19:04:51.028479Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: LICS","venue":null,"work_id":"fcfe0794-6d78-4ca7-94c0-60e2d034dd75","year":1991},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:0ffc768c7648053fd5801e7da925b0269fee6fef41ee1744079fa54b53d8ef76","observation_id":"be9d8ba2-e8c7-437e-ad4a-9d75088367af","resolution":{"observed_at":"2026-05-24T19:04:51.040356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"ACM Comm","venue":null,"work_id":"b86d9fd8-35ec-45d9-96eb-96c7221ee57f","year":2012},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:5803f1fdff958d816d94d1ef988ebc3dc9962dc02b3e912fd48f0c0aa761ad4f","observation_id":"ab70ff74-6f0e-46dc-ae22-e70419c6445b","resolution":{"observed_at":"2026-05-24T19:04:51.127739Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8762b652-f346-47f9-859c-84fd21c9ac3d","year":2018},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:dcefcb156e461c506bef7470ac1d74683e97ee50b9998a49354204c18f608154","observation_id":"ec1b067f-12ca-4ba7-940c-6de77796594f","resolution":{"observed_at":"2026-05-24T19:04:51.062516Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: LICS","venue":null,"work_id":"09239ae5-9714-467c-bc23-54040e677b78","year":2016},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:cd2da5d84ad3ec3fe536812ada5e46e0eb2976bbee691585e24412fccdf2d22a","observation_id":"144af352-f7c3-4975-9307-ae0cc6565d48","resolution":{"observed_at":"2026-05-24T19:04:51.084637Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: CA V","venue":null,"work_id":"bd4f4bfd-a695-44c1-a66c-7bb38159cee4","year":null},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:0e282d89ddde2f0a12a1fb751a72fcc60128ce467f1b80504f7bd237f8668894","observation_id":"5d8fd474-5aaf-4dc6-8b4d-deeb6522cc58","resolution":{"observed_at":"2026-05-24T19:04:51.077340Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: QEST","venue":null,"work_id":"95b1400f-a6b6-48c0-9d4e-c84e045849bd","year":2012},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:9437498316103738afd20e7721351ad8ecb9173bac190daa75a5167df7052084","observation_id":"22ac47f1-6c23-48b9-b700-34b9f2701523","resolution":{"observed_at":"2026-05-24T19:04:51.058920Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Formal Asp","venue":null,"work_id":"980535ea-1e85-4536-8665-1ca9087dea96","year":2012},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:ef8a9a6b0be177cb68c1034b947f55dfca77dd36dc890c79786ad30f0dfa0e50","observation_id":"5db03bf0-638d-4b1a-a49a-cd107606ccbe","resolution":{"observed_at":"2026-05-24T19:04:51.006807Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Evaluating the relia- bility of NAND multiplexing with PRISM","venue":null,"work_id":"f0de1ccc-89c0-472d-b55d-44cbb6e4dc1a","year":2005},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:2a58a67e18cab375aa2cab637980e828a912c6787e779b1e852e4ba0ba55ab1e","observation_id":"2dea360d-7f9c-4e2f-a6e3-ed08772c5061","resolution":{"observed_at":"2026-05-24T19:04:50.990429Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4d3d6c16-5e21-4a28-bad6-61b9ad485712","year":2015},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:d24acefb9d6f24dcb41141a6738033be252c97771b1fe0773a5c9a606ef88713","observation_id":"7d2696f6-9ca9-4ca7-ab03-67e97e0cca22","resolution":{"observed_at":"2026-05-24T19:04:50.994022Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: ATV A","venue":null,"work_id":"c847416e-b8cb-480a-a1eb-5fefe8d42c28","year":2016},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:b974fec9edc9b64c613cb02d48c45deab0a6da9820a0c7b952666529fc89ce81","observation_id":"6ec6146d-3b62-4c88-a62d-68e11a53a427","resolution":{"observed_at":"2026-05-24T19:04:51.002898Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"ACM Trans","venue":null,"work_id":"3f390f4e-097f-482c-a301-92c62af91f83","year":1998},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:22dd86189f37fc2a5de895b6a7b3cf5d746c581964600b5f3e57db59b52f4715","observation_id":"3ea73efa-8011-4fdc-88f3-7461e1a99dab","resolution":{"observed_at":"2026-05-24T19:04:51.043920Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: FoSSaCS","venue":null,"work_id":"ffb566e7-38e9-4fba-858a-68f80f84660f","year":2018},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:80c90d2676f0b59513059997e19544b6b147f41a7cc316ce5a645450cf3eef5a","observation_id":"995bf0de-615b-46dc-bc44-d04ef74b6c0c","resolution":{"observed_at":"2026-05-24T19:04:51.081218Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1904.01503","last_updated":"2019-04-02T15:46:19Z","snapshot_observed_at":"2026-07-06T07:43:22.332996Z","submitted_at":"2019-04-02T15:46:19Z","title":"On the Complexity of Reachability in Parametric Markov Decision Processes","version":1},"cited_work":{"arxiv_id":"1904.01503","doi":null,"metadata_source":"pith","pith_arxiv_id":"1904.01503","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"On the Complexity of Reachability in Parametric Markov Decision Processes","venue":"cs.LO","work_id":"22e4d0e0-38c4-4dad-a488-990d9eccdf61","year":2019},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"cited_paper":"/paper/1904.01503","citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:de7d07433ea6b6fe15334c9242c4532e24c1537b30a193d32ea8735020c43892","observation_id":"a8e65292-9aaf-4e5a-aa65-b7905c3cbddd","resolution":{"observed_at":"2026-05-24T19:04:50.184479Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"For this the induction step holds","venue":null,"work_id":"d0ecb60c-d17f-480b-acb0-f868dedc6029","year":null},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:bfc5a8bf2a5955b46dcc331676b5378a3a373b7caa29d2f659b073dda086698b","observation_id":"b1ee6de5-c7c4-4d88-bff4-34bf1f40b60e","resolution":{"observed_at":"2026-05-24T19:04:50.965329Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"That is, ∀u∈ R","venue":null,"work_id":"2151f789-8121-4773-8d86-db962b3afd9c","year":null},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:0479ee4042f20e0e55f161baeefe8d207c34732f19593f765177b3f25cae960f","observation_id":"87b690c9-1bf6-4d29-af57-fd699e2a3cfd","resolution":{"observed_at":"2026-05-24T19:04:50.972695Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"That is, ∀u∈ R","venue":null,"work_id":"84953da6-bb82-43d3-9edd-2b0d99b0e3b6","year":null},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:bfad6c75089f24a213dd25ec16d3316c01146e5ec198ca5e9809a7f467964c8d","observation_id":"24e53b2e-74ff-470c-909c-15d35cc9b5c1","resolution":{"observed_at":"2026-05-24T19:04:50.976383Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"That is, ∀u∈ R","venue":null,"work_id":"ee9c6c31-58df-438f-aa63-a3f0bc5d2966","year":null},"citing_paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-24T19:02:58.877167Z"},"links":{"citing_paper":"/paper/1907.08491"},"observation_digest":"sha256:0d7e002524ef0f4e9bcd8563aed4b15a61ef63db0521be4f7a45a38fa9a090bf","observation_id":"e4cb94c4-f16f-4c40-9190-d945f7e2d649","resolution":{"observed_at":"2026-05-24T19:04:50.968937Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1907.08491","last_updated":"2019-07-19T12:52:39Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-01T21:54:34.393720Z","submitted_at":"2019-07-19T12:52:39Z","title":"Are Parametric Markov Chains Monotonic?"},"reference_resolution":{"displayed":48,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":8,"verified_exact":0,"verified_fuzzy":38},"total_outbound_references":48},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:1907.08491."}