The Complexity of Bounded Synthesis for Timed Control with Partial Observability
Keyword(s):
2020 ◽
Vol 4
(OOPSLA)
◽
pp. 1-28
Keyword(s):
2018 ◽
Vol 41
(12)
◽
pp. 2554-2567
◽