Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems
1996 ◽
Vol 191
(5)
◽
pp. 781-793
◽
2020 ◽
Vol 81
(10)
◽
pp. 2109-2126
◽
1978 ◽
Vol 60
(4)
◽
pp. 591-594
◽
2013 ◽
Vol 37
(4)
◽
pp. 2102-2114
◽
1974 ◽
Vol 96
(3)
◽
pp. 315-321
◽
Keyword(s):
2007 ◽
Vol 52
(5)
◽
pp. 782-798
◽
Keyword(s):