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.
Kamali, Maryam ORCID: 0000-0002-2789-6914, Dennis, Louise A ORCID: 0000-0003-1426-1896, McAree, Owen, Fisher, Michael and Veres, Sandor M
(2017)
Formal Verification of Autonomous Vehicle Platooning.
Science of Computer Programming, 148.
pp. 88-106.
Dennis, Louise ORCID: 0000-0003-1426-1896, Fisher, Michael, Lincoln, Nicholas K, Lisitsa, Alexei and Veres, Sandor M
(2014)
Practical Verification of Decision-Making in Agent-Based Autonomous Systems.
Automated Software Engineering, 23 (3).
pp. 305-359.
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.