![]() | Up a level |
Aitken, Jonathan M, Veres, Sandor M, Shaukat, Affan, Gao, Yang, Cucco, Elisa, Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael, Kuo, Jeffrey A, Robinson, Thomas and Mort, Paul E
(2018)
Autonomous Nuclear Waste Management.
IEEE INTELLIGENT SYSTEMS, 33 (6).
pp. 47-55.
Gainer, P, Dixon, C ORCID: 0000-0002-4610-9533 and Hustadt, U
ORCID: 0000-0002-0455-0267
(2016)
Probabilistic Model Checking of Ant-Based Positionless Swarming.
In: Towards Autonomous Robotic Systems, 2016-6-28 - 2016-6-30, Sheffield.
Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael, Aitken, Jonathan M, Veres, Sandor M, Gao, Yang, Shaukat, Affan and Burroughes, Guy
(2014)
Reconfigurable Autonomy.
KI - Künstliche Intelligenz, 28 (3).
pp. 199-207.