Invited Speaker: Formally Specifying Autonomous and Agent-Based NASA Space Exploration Missions
2019 ◽
Vol 1
(1)
◽
pp. 11-20
Keyword(s):
2009 ◽
Vol 57
(3)
◽
pp. 579-606
◽
1992 ◽
Vol 50
(2)
◽
pp. 1092-1093
Keyword(s):