Resilient Satisfaction of Persistent and Safety Specifications by Autonomous Systems
Keyword(s):
2019 ◽
Vol 12
(1)
◽
pp. 77-87
2000 ◽
Vol 32
(10)
◽
pp. 18-25
◽
2006 ◽
Vol 65
(3)
◽
pp. 243-251
2020 ◽