{"entities":{"Q5918787":{"pageid":8049817,"ns":120,"title":"Item:Q5918787","lastrevid":58616310,"modified":"2026-04-06T00:47:02Z","type":"item","id":"Q5918787","labels":{"en":{"language":"en","value":"Learning safe neural network controllers with barrier certificates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7580906"}},"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":"Q5918787$5C762F57-6C36-490E-9F7C-1D9D3F38E831","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8166b9eca820c06bacb8d9cbbc739eea1ffb5ff","datavalue":{"value":{"text":"Learning safe neural network controllers with barrier certificates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5918787$7C3E0F63-5C5B-480A-8223-A9FF7AF5AE21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64b601254042fd8e6f9a9670a3489010c1ae972a","datavalue":{"value":"1503.93022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918787$13B17C6B-C83E-419B-8B09-99580BEAFB43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28c8a70ef5cd287a27453fc4b2cf14f6a59d600c","datavalue":{"value":"10.1007/978-3-030-62822-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918787$DF53ECF1-CE2D-476D-B80D-3551F3D0EE2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf97980ba88a64c6e517760dee1b285382b35078","datavalue":{"value":{"entity-type":"item","numeric-id":781115,"id":"Q781115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918787$5D356B1A-AFDC-4C27-8377-72CD3A7FB496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5743df715f92cb22a5e564344a9e59340a0788f5","datavalue":{"value":{"entity-type":"item","numeric-id":832196,"id":"Q832196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918787$E1BC40F7-3ED9-44FF-8E95-808C36397143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918787$4D307E6D-CF49-4636-AE89-2D8809B78590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6566f7241c7ed7c04cc74ecd005197b6f32908c7","datavalue":{"value":{"entity-type":"item","numeric-id":295007,"id":"Q295007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918787$DAFC3E43-DAA7-4B39-8C60-DB9AB99FF6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918787$84D0F0A9-B2A9-43C5-B711-A3F5BAC970A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02602812e8c677f46c4ba4febbc893f4aab8f2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5045375,"id":"Q5045375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918787$E3B180DF-167F-4DC6-9683-20AF06CD9394","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f8103c39d04c6902efbf808a8b0b8b468836cc5","datavalue":{"value":{"time":"+2022-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5918787$4D9D1025-04FE-4F1A-8C4E-3AB407039ECA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a79588a8882c54edbadfc73f03194da886a6cfe","datavalue":{"value":"https://arxiv.org/abs/2009.09826","type":"string"},"datatype":"url"},"type":"statement","id":"Q5918787$44546558-2115-4DA3-8A0C-E0DECECD76B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918787$45440D70-B4C1-4B0B-85BF-EC800A4257A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918787$27DCBA1A-1639-4D05-935F-C9E77DD625AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918787$3C22A200-1CD6-4AC7-88F7-CDF7561A528B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918787$464F5C2C-AA8E-4E61-AE4A-A2F8613E2149","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"770083667b2c4b14bf2d23c473a9268f8e0b1107","datavalue":{"value":"7580906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918787$2BC5136F-6220-4373-8AB3-2E3E83D8EF4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"408e548e410c7fb79b177e2759460c7409984738","datavalue":{"value":"continuous dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918787$243F5C94-9C0A-44E3-8EF5-AEF41D32114A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918787$AAC14EA6-8BCE-409C-9D8B-0E26EB7485FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0efe91da4df536f9ec53a9f276b6c2c113d29db","datavalue":{"value":"neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918787$EBF18A12-416B-444B-97AE-5221CD945670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918787$2830A29D-777D-4797-AEAB-62ECD56C51E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e008fdd0dcb8c515569f45545f1874abb9093a8","datavalue":{"value":"barrier certificates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918787$993BFB2F-DA7B-482E-B033-AB9F1D6CB589","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"108f3c849c940f1f2063b5f364f98201355131d4","datavalue":{"value":{"entity-type":"item","numeric-id":55587,"id":"Q55587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918787$66D86012-49D0-4C53-9761-F5A1FC488338","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":"Q5918787$24E675DC-F502-42D8-8041-8401467E5F29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"779470545d088779391e744aba30b648246ae3c9","datavalue":{"value":"W3108060258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918787$B2F2AF8B-8223-4E23-8750-6C16D99A0CC8","rank":"normal"}],"P1643":[{"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":"01d755ebd4e30f190125a26bea01b873f9141173","datavalue":{"value":{"amount":"+0.9978578686714172","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":"Q5918787$BC446381-2A32-46F5-A9A3-6D5419480BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4a0db5250e1ba29b0d018836f3a89fc1f55842","datavalue":{"value":{"entity-type":"item","numeric-id":832198,"id":"Q832198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ec324fc22515347491f8b2683b51c9eb1288f2","datavalue":{"value":{"amount":"+0.8441603779792786","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":"Q5918787$F54F33C5-71E0-4AB5-ADBE-DD330D56CCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a9c373f77a123e476325b74fc1618aa6730954","datavalue":{"value":{"entity-type":"item","numeric-id":2044214,"id":"Q2044214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa8ced3db233af1c1f440ccbff6d71769c91ef1c","datavalue":{"value":{"amount":"+0.832718014717102","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":"Q5918787$43AC2129-1768-4DF1-B6E6-217D149C5F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b42f3d808f0e118d4d933bb9b69d5f7ebc20d00","datavalue":{"value":{"entity-type":"item","numeric-id":6134350,"id":"Q6134350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17960db778aa8d529123d1b2c5412a650caf5070","datavalue":{"value":{"amount":"+0.7313312888145447","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":"Q5918787$3C44749D-B99E-4993-9842-FC80A24BCED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acc402274078797c1441eae0ebf295aff08063c","datavalue":{"value":{"entity-type":"item","numeric-id":1683459,"id":"Q1683459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7270c30a453076dec94bcf293576c151bf4634c0","datavalue":{"value":{"amount":"+0.7273873686790466","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":"Q5918787$1C66F856-FC70-46C5-99BD-D89D4AAA6138","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5918787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5918787"}}}}}