ARCH-COMP17-WG NLN

Topic	Replies	Views	Created	Last reply
CNLN: Van der Pol Oscillator	1	499	by younger May 12 2018 - 11:28am	by schillic Feb 11 2023 - 4:43am
HNLN: Artificial Pancreas	2	703	by xinchen Feb 15 2017 - 5:51pm	by kochdumper Feb 19 2019 - 3:21am
CNLN: Spacecraft Rendezvous	1	453	by kochdumper Apr 30 2018 - 9:05am	by kochdumper Jun 12 2018 - 11:11am
HNLN: Spacecraft Rendezvous	0	382	by younger May 11 2018 - 11:21pm	n/a
CNLN: Laub-Loomis	0	371	by younger May 7 2018 - 7:33pm	n/a
CNLN: Quadcopter (Crazyflie)	4	593	by dreossi Feb 9 2017 - 6:31pm	by dreossi Feb 22 2017 - 8:43pm
CNLN example (p53 model)	0	467	by xinchen Feb 14 2017 - 3:50pm	n/a
CNLN example (7-dimensional)	0	431	by xinchen Feb 14 2017 - 3:41pm	n/a
CNLN: Phosphorelay	0	420	by dreossi Feb 9 2017 - 5:51pm	n/a
CNLN: Generalized Lotka-Volterra	0	703	by dreossi Feb 9 2017 - 5:45pm	n/a
CNLN: SIR Epidemic Model	0	474	by dreossi Feb 9 2017 - 5:29pm	n/a
CNLN: Rossler attractor	0	547	by dreossi Feb 9 2017 - 5:24pm	n/a
CNLN: van der Pol	2	530	by immler Dec 18 2016 - 9:42am	by xinchen Dec 19 2016 - 1:49pm
Quadrotor Attitude Control	1	627	by althoff Dec 15 2016 - 4:20pm	by stanleybak Dec 19 2016 - 10:36am
CNLN Problem Instance: Neuron	0	640	by stanleybak Dec 13 2016 - 5:36pm	n/a