On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}]$ Using Temporal Projections
Keyword(s):
2015 ◽
Vol 24
(5)
◽
pp. 486-494
◽
1989 ◽
Vol 28
(2)
◽
pp. 89-104
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2018 ◽
Vol 27
(11)
◽
pp. 1249-1256
◽