Research output per year
Research output per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 16/08/2021 → 31/10/2024 |
Collaborative partners
- King's College London (lead)
- BT plc
- Shadow Robot Company Ltd
- Amazon Web Services EMEA SARL
- BAE Systems plc
- Bloc Digital
- D-RisQ Ltd
- Consequential Robotics
- CLEARSY
- Scoutek Ltd
- University of Sheffield
- Connected Places Catapult
- Sheffield Children's NHS Foundation Trust
- University of Leeds
- University of York
- Cyberselves Universal Limited
- Guidance Automation Ltd
- Durham University
- Lancaster University
- University of Manchester
- University of Leicester
- University of Liverpool
Funding
- EPSRC Engineering and Physical Sciences Research Council: £2,621,148.90
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Accelerating Finite State Machine-Based Testing using Reinforcement Learning
Türker, U., Hierons, R. M., El-Fakih, K., Mousavi, M. & Tyukin, I., 17 Jan 2023, (Accepted/In press) In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING.Research output: Contribution to journal › Article › peer-review
Open AccessFile182 Downloads (Pure) -
Automated and Efficient Test-Generation for Grid-Based Multiagent Systems
Entekhabi, S., Mostowski, W. & Mousavi, M., Aug 2023, (Accepted/In press) In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY.Research output: Contribution to journal › Article › peer-review
Open AccessFile81 Downloads (Pure) -
Compositional Learning for Interleaving Parallel Automata
Labbaf, F., Groote, J. F., Hojjat, H. & Mousavi, M. R., 2023, Proceedings of the 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023). Kupferman, O. & Sobocinski, P. (eds.). Springer, p. 413-435 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13992 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile6 Citations (Scopus)81 Downloads (Pure)