Synthesis of Controllers for Co-Safe Linear Temporal Logic Specifications using Reinforcement Learning
Keyword(s):
2020 ◽
Vol 4
(3)
◽
pp. 761-766
◽
Keyword(s):
2014 ◽
Vol 513-517
◽
pp. 927-930
2011 ◽
Vol 21
(12)
◽
pp. 1372-1395
◽
2002 ◽
Vol 12
(6)
◽
pp. 875-903
◽
Keyword(s):