Program Semantics-based Task Decomposition
2020 ◽
Vol 1684
◽
pp. 012051
Kaiping Zheng
◽
Gang Chen
◽
Melanie Herschel
◽
Kee Yuan Ngiam
◽
Beng Chin Ooi
◽
...
2020 ◽
Vol 53
(2)
◽
pp. 4240-4245
Charlott Vallon
◽
Francesco Borrelli
1992 ◽
Vol 17
◽
pp. 447-452
Chien-Hung Liu
◽
Shu-Ling Chen
Victor M. O. Alves
◽
George D. C. Cavalcanti
Franz Junger
◽
Simon Schopferer
◽
Sebastian Benders
◽
Johann C. Dauer
Vahid Nazari
◽
Leila Notash
Bao-Liang Lu
◽
Masami Ito
2015 ◽
Vol 139
◽
pp. 136-148
◽
Martin F. Jensen
◽
Michael Nørremark
◽
Patrizia Busato
◽
Claus G. Sørensen
◽
Dionysis Bochtis
Jessica P.C. Bonson
◽
Stephen Kelly
◽
Andrew R. McIntyre
◽
Malcolm I. Heywood