Verifiable Self-Aware Agent-Based Autonomous Systems

Louise A. Dennis, Michael Fisher

Formal Methods

Research output: Contribution to journal › Article › peer-review

1 results

Finished
Robotics and Artificial Intelligence for Nuclear (RAIN)
Lennox, B. (PI), Arvin, F. (CoI), Brown, G. (CoI), Carrasco Gomez, J. (CoI), Da Via, C. (CoI), Furber, S. (CoI), Luján, M. (CoI), Watson, S. (CoI), Watts, S. (CoI) & Weightman, A. (CoI)
2/10/17 → 31/03/22
Project: Research