AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
2020 ◽
pp. 461-474
2012 ◽
Vol 2012
◽
pp. 1-11
◽
1999 ◽
Vol 17
(5)
◽
pp. 727-741
◽
2014 ◽
Vol 8
(13)
◽
pp. 1256-1269
◽
Keyword(s):
2020 ◽
Vol 65
(12)
◽
pp. 5280-5295
◽
2015 ◽
Vol 39
(3)
◽
pp. 274-281
◽