{"entities":{"Q2307740":{"pageid":2318483,"ns":120,"title":"Item:Q2307740","lastrevid":78463421,"modified":"2026-05-06T11:39:17Z","type":"item","id":"Q2307740","labels":{"en":{"language":"en","value":"Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7181864"}},"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":"Q2307740$9040F55E-8085-48A1-A478-6E9DA7DEED3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb225499315a035b99c98ad4814c2611ae761d9a","datavalue":{"value":{"text":"Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2307740$0895CC8F-F85C-4A77-BBCE-21D4D1944F62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbb3008faf2179479e1898913881466e8504ea6f","datavalue":{"value":"1436.93014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307740$31A588A7-0B32-4CFD-ABA7-EF4029794155","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4d39f80a34204563278d524d3c85048551bbedb","datavalue":{"value":{"entity-type":"item","numeric-id":861316,"id":"Q861316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$C8F922A7-A4AF-42B0-8A48-0E83401B13CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4de927669225ad6cdd930fd341236eb955b61a3f","datavalue":{"value":{"entity-type":"item","numeric-id":286261,"id":"Q286261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$DD0E603B-70CC-4834-8502-F045DB2C7774","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83c55f09dfa869c2dbb8e5587cb9fee3e3fbc7c5","datavalue":{"value":{"entity-type":"item","numeric-id":186563,"id":"Q186563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$322AD0B3-50F3-46D0-B45A-0668B999713A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1dc58417fff361a629180d2ec9efcfddd12ca3","datavalue":{"value":{"time":"+2020-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2307740$2683D862-A75E-4E76-B203-E1FF641B5315","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307740$F407BEA2-7F9F-428A-8556-A0D2C6984638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307740$2A97D9A3-6A62-4E5A-AE0D-FC0683BB1653","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e02e3ca238fd1bd9a1563113380bbe22a538effa","datavalue":{"value":"7181864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307740$21F51307-87D4-4D09-ABFF-0663D1AEED5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307740$0D89D1E2-F42C-479E-ACEC-873F856B6972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f40047e4b4c19044b63939140676011c5a37789","datavalue":{"value":"uncertainty quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307740$09AC5705-87B3-4F32-BED5-76E51FCFF9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffe556e9af58cc3803b92b3387fa1bd46156ad3","datavalue":{"value":"differential inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307740$B0F6BC58-E452-49C7-A08A-18C256B29728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8def73582acd3ba18df906b6f3576168bbf0498","datavalue":{"value":"interval methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307740$29550454-0739-4089-BD2E-EB3FF548ED9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d05b89166755caeacaa6d6ce3181acc55928016b","datavalue":{"value":"invariant sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307740$FAA8B326-BCD5-49AE-8D70-461DC06B3CE3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0c657daffe404b094128cbddcd83a78a2c2d20b","datavalue":{"value":{"entity-type":"item","numeric-id":13671,"id":"Q13671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$9945A203-5A05-4E4C-8C8D-471F34381C51","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":"Q2307740$A95B00EB-6DA4-4AB2-BD51-60EB891DF97D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6f5b11123dfc854f67017cb8eb1278efcbf4ac0","datavalue":{"value":"https://doi.org/10.1007/s00498-020-00254-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2307740$71C625E1-77C6-4003-900F-D92DB7AE3A33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8f616a9c55610db5af425d61949babbdd50bd15","datavalue":{"value":"W3007353783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307740$B3610609-08E1-43DC-968E-C866E53DD80A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c36ad4bc44d2de7d38e9d37a013707d7b7dbd9","datavalue":{"value":{"entity-type":"item","numeric-id":5297916,"id":"Q5297916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$98C5B865-C7A0-4BE2-97F4-20B0DD9C2263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c070b608850810e03dce01977e117ae75d22e1e4","datavalue":{"value":{"entity-type":"item","numeric-id":276023,"id":"Q276023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$050F00D4-5BC2-4E43-85EB-C1EEE96E1AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9e4ba382778e5f029fbf19dd7aac4306f220dd","datavalue":{"value":{"entity-type":"item","numeric-id":4683975,"id":"Q4683975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$90A6E408-A76F-4546-A1BC-12462F0AD8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb3bb5c3ec81fb6dcc9828b8f8c2c413f98fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":62127,"id":"Q62127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$D5067D33-18D8-4A06-BDBB-BF4FB11132A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389276beff61748432d822515cc85100bdeea597","datavalue":{"value":{"entity-type":"item","numeric-id":467420,"id":"Q467420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$F8AE4AC4-0AEF-49BC-B7F4-2E8285F48BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3fc2a8cd2154f85e3606b66915e6ef430ed58a","datavalue":{"value":{"entity-type":"item","numeric-id":3195246,"id":"Q3195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$C716C23B-838C-4AF5-8493-929F48612E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c643085e6d467db7669500b4f9b6916efb1c08a1","datavalue":{"value":{"entity-type":"item","numeric-id":3624574,"id":"Q3624574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$262F2C11-21D0-4749-AA8A-C1CB59A6DE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159ae3e732ed5a73f7e9fc82869fadc26711e8f3","datavalue":{"value":{"entity-type":"item","numeric-id":3008833,"id":"Q3008833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$462C8727-D99D-4CFC-887B-83E4C035386E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aced2c46a245bf28f7f35042883e9c95e459fd","datavalue":{"value":{"entity-type":"item","numeric-id":2643834,"id":"Q2643834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$82132FC9-6829-410C-8CA8-8BDF233FD739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8533585532b4f241ec4ef48118889456b3f2835","datavalue":{"value":{"entity-type":"item","numeric-id":2982909,"id":"Q2982909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$95597A08-89B6-4B33-A809-54E4A511081B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a6397f8b1a67b35a942cb0babbabd1a9b82bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4808034,"id":"Q4808034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$E3B0A839-FAE6-4B4B-B290-381787AEF147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7784189294e81874fa9d2380e5da09a4d09a5f97","datavalue":{"value":{"entity-type":"item","numeric-id":5274100,"id":"Q5274100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$724B78BD-EF5D-487A-97F8-CF16AA3D4E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f69ee04fb87302a312e56fe1d7a8db27a3770c8","datavalue":{"value":{"entity-type":"item","numeric-id":1000831,"id":"Q1000831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$759C2289-0FA7-433B-B966-B8BD964BB75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e101bfbf06b622f6ed676449877c88e117d5513","datavalue":{"value":{"entity-type":"item","numeric-id":1805854,"id":"Q1805854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$9AA87115-4141-47B3-9280-121BA3433D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c6ec072a89146545e93445fd192f502b143ebb","datavalue":{"value":{"entity-type":"item","numeric-id":919061,"id":"Q919061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$34200575-3DEC-43E7-A14C-F2E36518B03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"804f19445ce27fcc4fc662056c64ae4f46785c3e","datavalue":{"value":{"entity-type":"item","numeric-id":340640,"id":"Q340640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$F2727795-CFA1-4FB3-8004-89E10D0B7233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac41d7f997add3744b87adeed4a1d6c9d72cc18","datavalue":{"value":{"entity-type":"item","numeric-id":705483,"id":"Q705483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$7983854E-0927-4CD5-A02E-1E2AFA5E8683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3c79cbdd8840128a22e17914fd295a10ab084e3","datavalue":{"value":{"entity-type":"item","numeric-id":368577,"id":"Q368577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$6F179C6D-3F63-4003-BA19-415E785A57E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d05ea7c480f945e1c68d8d6cec352f8ea61c3e","datavalue":{"value":{"entity-type":"item","numeric-id":2795640,"id":"Q2795640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$BC684B14-5D31-47F0-85FD-065FDBBE6702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eda29e454240bd7ba9c0c043b1691a91cd1a249","datavalue":{"value":{"entity-type":"item","numeric-id":368576,"id":"Q368576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$AA80D316-04AF-4821-8749-6F5D72536231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9879fda6f9e9e059e03deb046510cb495f343b0d","datavalue":{"value":{"entity-type":"item","numeric-id":1939609,"id":"Q1939609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$96A620F1-6B99-4393-B0AA-C649158788E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a234a6460b2c5fb4d70a82b7e2055eb052a82145","datavalue":{"value":{"entity-type":"item","numeric-id":286264,"id":"Q286264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$BE53666C-BF83-4708-9484-2DBD3E9C67BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae9cc1f5294116a609f3173d5daaf7fab4ca900","datavalue":{"value":{"entity-type":"item","numeric-id":2849542,"id":"Q2849542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$58F2ECBF-726D-483E-8F7D-366143881564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"680fca59baa8c4d6a1fdfedde00a8dca03f7ae28","datavalue":{"value":{"entity-type":"item","numeric-id":2494486,"id":"Q2494486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$D88C34D2-5CEF-44BE-93AF-4DB21236E464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec97b2fe91a68ee6142011d6dcd51fbef6b8731e","datavalue":{"value":{"entity-type":"item","numeric-id":2351531,"id":"Q2351531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$FD160A10-3427-415F-81F6-3DCBCA402DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a914256702f0699431078d6cc135a99d0bf88a7f","datavalue":{"value":{"entity-type":"item","numeric-id":510141,"id":"Q510141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307740$C49A7093-1BD0-4575-8883-E122CBCDF93F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43f86f08eb01c49aa275ed9af22cfe5e5d7d9db4","datavalue":{"value":"10.1007/S00498-020-00254-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307740$5B4D406D-70E9-4FEC-8549-E0BB1DDF6E05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a51b4a429398bf69b0303d46349d9b5c0739ac","datavalue":{"value":{"entity-type":"item","numeric-id":2665719,"id":"Q2665719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd165786bd63a8843257c244590eec9a46496f96","datavalue":{"value":{"amount":"+0.8195188045501709","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":"Q2307740$E169C6E1-1F27-483C-BE77-571F9C3A1A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e7281e2d06ce37f3c50d58bb00b79a58fdd8073","datavalue":{"value":{"entity-type":"item","numeric-id":1939609,"id":"Q1939609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3987cfc9205c247036a4fcdcebb7911ddc3068e8","datavalue":{"value":{"amount":"+0.791259765625","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":"Q2307740$D74017EF-7293-41C2-A62F-D3E084546B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7014f4e96f2d33894888fa3215e0716ff4fbef26","datavalue":{"value":{"entity-type":"item","numeric-id":276023,"id":"Q276023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba4038a69426498b9817cd27fe311430e8700aa","datavalue":{"value":{"amount":"+0.7726905941963196","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":"Q2307740$6F02D0C5-5C9D-40D0-8BA7-79D879A2671F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b20a97c91c442024dfd76fb547be0db2f963be8","datavalue":{"value":{"entity-type":"item","numeric-id":4561433,"id":"Q4561433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f0b01e880597d497d8da74d7ef43030b759b63","datavalue":{"value":{"amount":"+0.7421613931655884","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":"Q2307740$A35C6DB8-EBFC-4D63-BEB2-9C6A03198F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a491107fabdc68bb0ee36bcfd771c9649d46f636","datavalue":{"value":{"entity-type":"item","numeric-id":2203460,"id":"Q2203460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516d03725925062a75c6bb88064ba17eb8a7b9db","datavalue":{"value":{"amount":"+0.7408447265625","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":"Q2307740$1478E6BE-5E04-425C-8265-924B408BD77F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exploiting_nonlinear_invariants_and_path_constraints_to_achieve_tighter_reachable_set_enclosures_using_differential_inequalities"}}}}}