{"entities":{"Q2628510":{"pageid":2639253,"ns":120,"title":"Item:Q2628510","lastrevid":78980663,"modified":"2026-05-06T12:52:33Z","type":"item","id":"Q2628510","labels":{"en":{"language":"en","value":"Stochastic system controller synthesis for reachability specifications encoded by random sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6725387"}},"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":"Q2628510$89CBE28D-8A92-43B6-8125-0E8B971D5E39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42d2482458fe118365b28f3eae03a0760c3b678e","datavalue":{"value":{"text":"Stochastic system controller synthesis for reachability specifications encoded by random sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2628510$7D1954EF-0A75-4056-90AD-3CB3F7F1E3AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f6d950f52bdd8459b4c0b70d2aee7dd43088826","datavalue":{"value":"1364.93871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628510$07692366-44DB-4105-BDA2-F261BA83A71F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db210d2463266df4c7f3ce874a966939b72de73f","datavalue":{"value":{"entity-type":"item","numeric-id":503161,"id":"Q503161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$174A8433-B15A-4F44-A5E4-9B4EB99A079F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43621a00392d778ada3b5567c3407cbd5dd6bf35","datavalue":{"value":{"entity-type":"item","numeric-id":445155,"id":"Q445155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$9FAC5BA8-AD39-4EA7-9233-00537557010B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df6e36a460358b7ed0473e5b3dab51cf1f47362b","datavalue":{"value":{"entity-type":"item","numeric-id":273888,"id":"Q273888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$15184668-1722-4D62-95AE-6FD309D1ADCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eb46cd344108c864b2f16861a4edec764c0ae87","datavalue":{"value":{"entity-type":"item","numeric-id":290822,"id":"Q290822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$A0CB6462-F0FE-413A-8F90-0F195BC37DFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$5B061BC8-E177-4B6C-BD77-D71E21B6A843","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10b539bfd31e9be426ce4c4c45b2f5c1ed7fa718","datavalue":{"value":{"time":"+2017-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2628510$EEC186DF-9E86-4231-B948-35833E8FF80F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e3bc6c7cda8279d6ad2b578e7a7e4967447c3cc4","datavalue":{"value":"93E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628510$4AD136B4-742A-41FF-AE7C-DFB269908A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628510$8E1A8FCD-861B-4600-BC9A-6026406DECB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628510$3F15CED3-B128-4A54-8E54-F1D4CE1475DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628510$DCFB8972-7207-4A50-8900-2484DA6BB651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"15c1c1e0a1d69b462ee4ebf3442d37cf266ace92","datavalue":{"value":"49L20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628510$3C35F027-0594-4F70-AEF2-25625D8857B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0355ee248c396ec672b81e9bd10eb94ee1620f81","datavalue":{"value":"37H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628510$37C72D96-87FD-4499-83B8-5021E3D847AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38ddd01aa67f1c9b3864f513f53c45097897b037","datavalue":{"value":"6725387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628510$92073058-15A1-4A15-9D77-C1272F7A8333","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628510$C6851D46-594D-4DA0-A2BE-B48EF840EBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e101f7f59f22564ca505a04735b03a71301737","datavalue":{"value":"stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628510$55D031D9-6A0C-43CF-B6E1-33178ECE123C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628510$B02EEAFB-B712-4FC5-AB57-5E4BBF6E1D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628510$AEAA574D-9178-4306-89DC-65BE62C747C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b478b9d38ee7d518404d240160b55a44d0a6af0","datavalue":{"value":"target hitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628510$2247283D-8778-4CBE-9DFD-BF00D7EF9B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47fee90c5592664decba5aa2e51ae852ecd7730","datavalue":{"value":"optimal control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628510$005AF091-01BC-4E2A-8FCE-21B37B1D49DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d82cfa81638332a8c825bcbbd9d7f7f9c0c45be","datavalue":{"value":"dynamic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628510$78F3EB61-1BC0-41C5-BAA1-47B25EEED5A0","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":"Q2628510$9E654DEB-05A7-49C1-8870-AA5EDEB48B1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1f5ad7c0144ebce937f5669e5d8411a74fe713f","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2013.06.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2628510$FF48E7A9-57C4-4D90-846E-B43F165E2E93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"915300306931cf9f52c248765da4acc2d0bcdfb4","datavalue":{"value":"W2066909430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628510$E3079AB3-C6F0-40DD-A054-6E4386079373","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":"Q2628510$2CD7285F-E992-4FB2-BF77-48DE036080B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79dc4a1688b10f434f276ba92a264202cc5adcfd","datavalue":{"value":{"entity-type":"item","numeric-id":5905497,"id":"Q5905497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$2D2CE1DF-039E-4AF2-8237-E768343EF54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14511b3434fba07b77dec79eceea724900ded85d","datavalue":{"value":{"entity-type":"item","numeric-id":4417983,"id":"Q4417983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$F3DFCC9F-F7C5-41E8-94D9-F947F6AB7227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb069f53702ebcb4130c6349536a4829440ca29","datavalue":{"value":{"entity-type":"item","numeric-id":3136505,"id":"Q3136505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$90657799-1A51-4FE4-B1A9-C8D033A1DB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05f0cc8162463f2188d6748c9596b0616f21adb","datavalue":{"value":{"entity-type":"item","numeric-id":4377429,"id":"Q4377429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$BD2347C5-CE3D-4D8E-B34D-5D2E01ACD515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f505434c35766099f1dae96c516ac5606db2643","datavalue":{"value":{"entity-type":"item","numeric-id":5371013,"id":"Q5371013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$6A65D434-6809-4A0B-A46D-1FACFF7F802A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e92fb6a184961c8640e5a3ea059322a8ea1d66f","datavalue":{"value":{"entity-type":"item","numeric-id":1888412,"id":"Q1888412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$2B4A634F-9E84-4009-8C74-5996847675BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2723e28d237327021a508eb2aaa494b07c3231e","datavalue":{"value":{"entity-type":"item","numeric-id":5310431,"id":"Q5310431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$B560FE81-1EBA-4B6F-9A0B-0282DC969C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807701b11cfca17d83d854b0a0d8f4d0ca5bacdd","datavalue":{"value":{"entity-type":"item","numeric-id":2985889,"id":"Q2985889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$B03BEEED-4968-423E-AC0A-C46E1F78103C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1787d2c081da04d535b4c5accca825bb6c37a8","datavalue":{"value":{"entity-type":"item","numeric-id":4340161,"id":"Q4340161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$95855758-7741-49B5-9C17-F38E1B44D998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e975822ea4cb4623977e0808edbadde53984221a","datavalue":{"value":{"entity-type":"item","numeric-id":2986736,"id":"Q2986736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$30EA6E59-929E-4A9D-B487-CBB30AA3F1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b667e53d08053bfe2d5d60effdeeabbed17409ae","datavalue":{"value":{"entity-type":"item","numeric-id":624936,"id":"Q624936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628510$E150F046-20C0-44F5-A299-A0F5DE459997","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab129a5ef62f1841870723010f8a4e4e5cc22cea","datavalue":{"value":"10.1016/J.AUTOMATICA.2013.06.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628510$F0994A8C-033C-487E-9EF4-42F8DC4732C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f672dd5ddb4cb65b76f1c11afba8dc51e22805c7","datavalue":{"value":{"entity-type":"item","numeric-id":503162,"id":"Q503162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0a68fcd0a3cca4c8918eda78bfadda33565788","datavalue":{"value":{"amount":"+0.8526085615158081","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":"Q2628510$50E75CD3-389C-4731-B83B-72411E668CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8763926d4ccef4879ea3784a46ade38368e6cc8","datavalue":{"value":{"entity-type":"item","numeric-id":2986935,"id":"Q2986935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67df537424dd89987be2ce2c6cff927f718d9be3","datavalue":{"value":{"amount":"+0.8286678791046143","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":"Q2628510$B7B24CBE-BEEE-41E6-A61A-973E1A000B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e595f5547db4a057ca94fc7d2b1d1636449e3069","datavalue":{"value":{"entity-type":"item","numeric-id":2986736,"id":"Q2986736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f0964d7edf5038127a2dc039d4ec62bc3ad317","datavalue":{"value":{"amount":"+0.8232204914093018","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":"Q2628510$E27F35C2-A773-4117-9D75-421BEB2920D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b981e84ef476387e78ab3d617d6873a5d26876a","datavalue":{"value":{"entity-type":"item","numeric-id":2663957,"id":"Q2663957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a4c4a2275dc218ac93216f7cff21fc3dbb84e9","datavalue":{"value":{"amount":"+0.7946982383728027","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":"Q2628510$237F36BC-8F32-434F-ACA0-9943B76C6D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079a52c8ab4f65aded7573d87db4593be760174d","datavalue":{"value":{"entity-type":"item","numeric-id":624936,"id":"Q624936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3a8072ed512abbdc8350033acc026102112b01","datavalue":{"value":{"amount":"+0.7908651828765869","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":"Q2628510$B0FEEAB1-4AB5-44BF-9797-85D2CC997812","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stochastic system controller synthesis for reachability specifications encoded by random sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stochastic_system_controller_synthesis_for_reachability_specifications_encoded_by_random_sets"}}}}}