Joanna Delicaris (53954ccc) at 14 Feb 13:52
update for current hypro version
Mathis Niehage (7b7f54e0) at 07 Feb 10:56
save commit
Jonas Stübbe (a8d964ce) at 07 Feb 10:48
initial commit of minimization example
... and 88 more commits
Mathis Niehage (c8b032f8) at 29 Sep 18:43
added script to run the Valuetools 2023 results
... and 7 more commits
Mathis Niehage (f1c78d24) at 28 Apr 14:19
SimulationTree is generated as optimized plt and used for simulation.
... and 6 more commits
Dr. Stefan Alexander Schupp (1c6a5bd1) at 27 Feb 10:59
fix: Hypro 2.0.0
Dr. Stefan Alexander Schupp (b1914b16) at 21 Feb 14:42
Merge remote-tracking branch 'origin/hybridAutomaton' into hybridAu...
... and 2 more commits
Mathis Niehage (0b41b59c) at 10 Nov 17:15
update to use hypro/carl wrapper
Dr. Stefan Alexander Schupp (496e3080) at 28 Sep 11:10
update plotting scripts
Dr. Stefan Alexander Schupp (828a1a13) at 28 Sep 09:54
add plot-creation notebook
Dr. Stefan Alexander Schupp (0cc2e333) at 02 Sep 11:39
minor testing and benchmarking
Dr. Stefan Alexander Schupp (7be36fba) at 23 Aug 09:59
update casestudies for the journal
Dr. Stefan Alexander Schupp (4f35f6ec) at 16 Aug 10:49
update casestudies for the journal
Dr. Stefan Alexander Schupp (d70ed56b) at 16 Aug 10:47
update casestudies for the journal
Dr. Stefan Alexander Schupp (7a29557a) at 08 Aug 15:49
minor adjustments and dbg output
Dr. Stefan Alexander Schupp (d2a84645) at 08 Aug 14:54
avoid copying polytopes
... and 76 more commits
Dr. Carina da Silva (9f6db30e) at 01 Aug 13:29
Fixed merging with conflicts