Research output per year
Research output per year
Search results
-
2024
Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool
Li, W., Ribeiro, P., Miyazawa, A., Redpath, R., Cavalcanti, A. L. C., Alden, K. J., Woodcock, J. & Timmis, J., 5 Jul 2024, In: Autonomous Robots. 48, 22 p., 14.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2018
ARDebug: An augmented reality tool for analysing and debugging swarm robotic systems
Millard, A. G., Redpath, R., Jewers, A., Arndt, C., Joyce, R., Hilder, J. A., McDaid, L. J. & Halliday, D. M., 24 Jul 2018, In: Frontiers Robotics AI. 5, JUN, 6 p., 87.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2016
Hybrid Societies: Challenges and Perspectives in the Design of Collective Behavior in Self-organizing Systems
Hamann, H., Khaluf, Y., Botev, J., Divband Soorati, M., Ferrante, E., Kosak, O., Montanier, J.-M., Mostaghim, S., Redpath, R., Timmis, J., Veenstra, F., Wahby, M. & Zamuda, A., 11 Apr 2016, In: Frontiers in Robotics and AI. 3, 14.Research output: Contribution to journal › Article › peer-review
Open AccessFile