https://pypi.org/project/dtcontrol/ Recent updates to the Python Package Index for dtcontrol en https://pypi.org/project/dtcontrol/2.1.15/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. christoph.weinhuber@tum.de Fri, 23 Jun 2023 07:33:02 GMT https://pypi.org/project/dtcontrol/2.1.4/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. christoph.weinhuber@tum.de Sat, 26 Feb 2022 13:32:55 GMT https://pypi.org/project/dtcontrol/2.1.0/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Sun, 17 Jan 2021 14:45:04 GMT https://pypi.org/project/dtcontrol/2.0.1/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Sat, 24 Oct 2020 12:49:46 GMT https://pypi.org/project/dtcontrol/2.0.0/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Sat, 24 Oct 2020 12:04:27 GMT https://pypi.org/project/dtcontrol/1.14.0/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Fri, 23 Oct 2020 21:19:03 GMT https://pypi.org/project/dtcontrol/1.13.14/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Wed, 21 Oct 2020 08:40:47 GMT https://pypi.org/project/dtcontrol/1.11.20/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Mon, 04 May 2020 14:18:52 GMT https://pypi.org/project/dtcontrol/1.11.13/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Fri, 01 May 2020 15:19:26 GMT https://pypi.org/project/dtcontrol/1.11.5/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Thu, 30 Apr 2020 19:55:34 GMT https://pypi.org/project/dtcontrol/1.11.4/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Thu, 30 Apr 2020 19:37:46 GMT https://pypi.org/project/dtcontrol/1.11.3/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Thu, 30 Apr 2020 19:24:47 GMT https://pypi.org/project/dtcontrol/1.10.7/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Mon, 20 Apr 2020 13:59:09 GMT https://pypi.org/project/dtcontrol/1.10.6/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Mon, 20 Apr 2020 12:14:46 GMT https://pypi.org/project/dtcontrol/1.10.5/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Sun, 19 Apr 2020 11:33:41 GMT https://pypi.org/project/dtcontrol/1.10.1/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Thu, 16 Apr 2020 15:20:28 GMT https://pypi.org/project/dtcontrol/1.0.0rc5/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Sun, 02 Feb 2020 10:03:14 GMT https://pypi.org/project/dtcontrol/1.0.0rc4/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Thu, 23 Jan 2020 11:34:02 GMT https://pypi.org/project/dtcontrol/1.0.0rc3/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Thu, 23 Jan 2020 11:00:58 GMT https://pypi.org/project/dtcontrol/1.0.0rc2/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Wed, 22 Jan 2020 16:01:23 GMT https://pypi.org/project/dtcontrol/1.0.0rc1/ A small tool which can convert automatically synthesised formally verified controllers into concise decision trees. mathias.jackermeier@outlook.de Wed, 22 Jan 2020 15:57:38 GMT