Research output per year
Research output per year
Project Details
| Status | Active |
|---|---|
| Effective start/end date | 1/11/20 → 30/04/24 |
Funding
- EPSRC: £1,329,988.86
-
Fast Parametric Model Checking with Applications to Software Performability Analysis
Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 24 Aug 2023, (Accepted/In press) In: IEEE Transactions on Software Engineering .Research output: Contribution to journal › Article › peer-review
-
Goal Controller Synthesis for Self-Adaptive Systems
Calinescu, R. & Nunes Rodrigues, G., 22 Feb 2023, (Accepted/In press) FormaliSE International Conference on Formal Methods in Software Engineering. IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Mission specification and decomposition for multi-robot systems
Bernd Gil, E., Nunes Rodrigues, G., Pelliccione, P. & Calinescu, R., 28 Feb 2023, In: Robotics and Autonomous Systems.Research output: Contribution to journal › Article › peer-review
Open Access
Activities
- 1 Workshop
-
AI-infused contracting and the problem of relationality: Is trustworthy AI possible?
TT Arvind (Invited speaker)
19 Jul 2021 → 23 Jul 2021Activity: Talk or presentation › Workshop
File