{"entities":{"Q6592977":{"pageid":14204134,"ns":120,"title":"Item:Q6592977","lastrevid":55735021,"modified":"2026-02-17T21:53:47Z","type":"item","id":"Q6592977","labels":{"en":{"language":"en","value":"Probabilistic reach-avoid for Bayesian neural networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7901528"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$C6837710-1B26-4069-B572-59089E3EF628","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ca42666595a2941766f9258eda8c5913232256e","datavalue":{"value":{"text":"Probabilistic reach-avoid for Bayesian neural networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6592977$D0A0CCEE-0AAE-4D86-A4B0-61E14961835E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a65b99e38debbecbb279bfc603eee30090d430e4","datavalue":{"value":"1547.68692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592977$1DB1BAF9-A5FB-42C8-8A17-3D271ACC19E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b04ce5e60478cd3864c9c40f2ddc59f608dfcd8f","datavalue":{"value":{"entity-type":"item","numeric-id":6592976,"id":"Q6592976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$60F9DFE7-E170-444A-A330-4AEA57E865EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93cabda11b21ba70f8ae7fe40e630688977aa7b8","datavalue":{"value":{"entity-type":"item","numeric-id":1693118,"id":"Q1693118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$0FF05C6C-AE91-4406-A037-F4001B609678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e67f4dd657f5855312ab34146971f9df9c44f8fe","datavalue":{"value":{"entity-type":"item","numeric-id":1630273,"id":"Q1630273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$644AB9AB-745E-4670-BD44-69D0F4B70E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7f0ed9ed812e9029fd4e6f78d01e62e525a7275","datavalue":{"value":{"entity-type":"item","numeric-id":2112109,"id":"Q2112109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$48DCDF8A-BAA4-4202-BBC0-1FE6B5292A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$79024B7B-97B0-4A87-862F-BFB92411B3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$B64AF58B-5066-4BE7-A5A2-4A2C253B9E3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$15CB7BF8-8B4D-479A-8A0E-452BFDF40F18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31004ac8a77f65318e51d8c72811e6bbf118c123","datavalue":{"value":{"time":"+2024-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6592977$A0E763C6-3974-4526-BCAE-86AF072A1F34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592977$6E196DCC-C671-4BA1-B069-1A5FDFDD33FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592977$D1ADE49F-9BAD-4A8D-A9B8-709C61BB5FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592977$13DD9F0D-7B81-4CFB-A81B-5D9A9EE833C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1399929ddbde569e67834f2401292cc52b4f845","datavalue":{"value":"7901528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592977$4A1A99A0-D707-49C7-8719-269961127D5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab31482eee8f34fa99c5284980862acac4a0b6b4","datavalue":{"value":"reinforcement learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6592977$9DE73FD0-21B3-400F-B047-3E1F4CBB433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6592977$2B99AC46-6F63-4561-8D43-B10B013F7BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39b667ebae10655f64bfbfdd1f2d6484a466ae2c","datavalue":{"value":"certified control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6592977$2270BD6E-43A7-4A9D-8C0A-5B403D38C417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d738543e8dc00ad2fb051715416d0715b263c30","datavalue":{"value":"Bayesian neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6592977$B2A487CC-4A43-4B78-8D36-A6D4BDA9A64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6592977$C2B3EDE6-242A-42E1-B018-3CFE8FC58C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7def6f7913250ab30ee20f979f32fcf87ba51f8d","datavalue":{"value":"reach-while-avoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q6592977$08D9F84C-00CB-4AC0-8553-8E8D7FFECA19","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$EF111FAE-7DF6-496C-9EE5-8C14AEA0D512","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea67ed95d1f053285243b5bc166dc74f203ace9","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$7C4F031A-74DF-4EF9-B239-4F5E6DCBD64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"455bef0a895b2ab0cd666a83d671b01a85c607a6","datavalue":{"value":{"entity-type":"item","numeric-id":3503410,"id":"Q3503410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$258436A4-0850-4801-88F8-3FB6D2C23C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befcd603ea46f97b39b4dad5de43a9824ef49081","datavalue":{"value":{"entity-type":"item","numeric-id":6194598,"id":"Q6194598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$5B125FB2-3E74-4C7E-9F48-629BEB64E408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80579eaa35a355343cdb5ce4c7acd3b0fc454c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1996032,"id":"Q1996032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$1E2E8BC6-DCCD-4BA0-B369-8677120F41D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c7a4a3973413ed98bbf61f06885c48beffdeab","datavalue":{"value":{"entity-type":"item","numeric-id":5239245,"id":"Q5239245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$314E38B3-4196-4602-AD2C-14DD50E24560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0177af0891b39dd6b26b0f2f58040f1e25c42e2","datavalue":{"value":{"entity-type":"item","numeric-id":1493787,"id":"Q1493787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$552B2C20-F388-4FE5-8A97-AB4F8768D836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eebd92314f06a222531560c253ad541ebcb87206","datavalue":{"value":{"entity-type":"item","numeric-id":6091337,"id":"Q6091337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$A3C00C65-F19A-4E83-A5EE-FAF51AD306B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0262656e41c382f9f5a9a7b3bb892ab61ed599","datavalue":{"value":{"entity-type":"item","numeric-id":5270493,"id":"Q5270493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$2BCB2FBC-0556-4054-B43E-76F3C501B549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2cb366fefbad3000be0bbb1dd63e12bfcfb24b5","datavalue":{"value":{"entity-type":"item","numeric-id":2409334,"id":"Q2409334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$FE101162-41D8-4609-A796-98558B4CB81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562105a4f45c197209cf879e1e742184d2572324","datavalue":{"value":{"entity-type":"item","numeric-id":1996007,"id":"Q1996007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$F07DD06A-1460-4CF6-9B0E-9A1CEBDFC6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d76610be2db7a475aae1f8e37aec5be549c297","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$449DC0E1-459B-4EAB-A0B7-99575F45AF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5917525935ebf0f22e67c3a8b4c2a67c89a26389","datavalue":{"value":{"entity-type":"item","numeric-id":5125288,"id":"Q5125288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$B1DC75B5-F489-42FF-9DC3-AAEBA36711EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bfe30e08a7e82b0acc716c863fd1bf7ed17e1","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$869611F8-759A-4C64-B475-7BB299288C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad625576141754dfc809ee18801b070c92de70","datavalue":{"value":{"entity-type":"item","numeric-id":2855953,"id":"Q2855953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$8604F941-8313-41AD-AA4E-D8D866996124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ff679fb7358f55f44cbb717af6d59d565eac7e","datavalue":{"value":{"entity-type":"item","numeric-id":3172405,"id":"Q3172405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$47139BC5-DD02-4DE0-B926-3FC1395A0DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08860fcf8a88b6e838220c27a30bb2b48c142f33","datavalue":{"value":{"entity-type":"item","numeric-id":2983282,"id":"Q2983282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$B959C547-8CD5-49FE-96AC-E80FE0034C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f0633ab1796d017ff362ce5c69c201e296623a","datavalue":{"value":{"entity-type":"item","numeric-id":5239231,"id":"Q5239231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$01621487-F3C6-4199-9900-EDAB1FFD56FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f72ac6cc2fefa5da0bf5b17f4afa47e5e8e6f09","datavalue":{"value":{"entity-type":"item","numeric-id":6488997,"id":"Q6488997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592977$5BF5DD55-C959-4E43-92FB-89CA2FEFBDC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e04bd9990097072a2d1fa0961b0a5a7c06c612ab","datavalue":{"value":"10.1016/J.ARTINT.2024.104132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592977$C5DBB3B3-BE12-4748-86EF-3CFF4517D40A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c0d9bbb2e84e54d5d77c51d76b08cf8b960bc3","datavalue":{"value":{"entity-type":"item","numeric-id":5918787,"id":"Q5918787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac6f81ebd17222273f24fbb5ac8f76da27155cf","datavalue":{"value":{"amount":"+0.7178393602371216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6592977$55340B1A-57AD-41A5-803C-56904DE82FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95a39b8346a701dca94fccc131df022344915ff","datavalue":{"value":{"entity-type":"item","numeric-id":5918375,"id":"Q5918375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4326f9f8e39ad9e4cb87f63a57c268ceb2d2d440","datavalue":{"value":{"amount":"+0.7175431847572327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6592977$1419A52E-55B3-4419-B123-E4B080621D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e95d6088a6b758e9c4a4496a7c94d8586eadc61","datavalue":{"value":{"entity-type":"item","numeric-id":6535337,"id":"Q6535337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d864acdb1a2613ce88ff32e0b813944338f9468","datavalue":{"value":{"amount":"+0.7042707204818726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6592977$44F2C07E-6645-4892-BB56-4AAB26F70059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c33946792100a18c7df210dd772d67db0250aa7","datavalue":{"value":{"entity-type":"item","numeric-id":6535637,"id":"Q6535637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13687c4161df2824f40669c59e2d1e6621bb2dec","datavalue":{"value":{"amount":"+0.6902998089790344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6592977$168B1DC1-D854-4AC6-84AE-47366A1DCA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107594ab3af7af819c8ee03f89bf00de07195708","datavalue":{"value":{"entity-type":"item","numeric-id":6190357,"id":"Q6190357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9fd6c4e7048c2c4c5f69f94c951e0dadd93c2b3","datavalue":{"value":{"amount":"+0.6880204677581787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6592977$C693463A-40D1-475E-A73E-BDCC3E6AE1A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6592977","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6592977"}}}}}