Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety
Jan-David Quesel
◽
Stefan Mitsch
◽
Sarah Loos
◽
Nikos Aréchiga
◽
André Platzer
2014 ◽
Vol 184
(11)
◽
pp. 1237-1248
◽
Dmitrii V. Yurov
◽
Vadim V. Prikhodko
2002 ◽
Vol 34
(11)
◽
pp. 8
M.D. Lemrnon
◽
J. Stiver
◽
P.J. Antsaklis
P.G. Otanez
◽
M.E. Campbell
Feng Lingyu
◽
Zhang Jian
◽
Mu Xiaowu
Vincent D. Blondel
◽
John N. Tsitsiklis
E. Joelianto
◽
D. Williamson
Robin Vujanic
◽
Marius Schmitt
◽
Joseph Warrington
◽
Manfred Morari