Research output per year
Research output per year
Project Details
| Short title | CONVINCE - CONtext-aware VerifIable dyNamiC dEliberation |
|---|---|
| Status | Active |
| Effective start/end date | 1/10/22 → 31/03/26 |
Funding
- UKRI Horizon Europe Underwriting – Innovate UK
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.
-
A Decoupled Solution to Heterogeneous Multi-Formation Planning and Coordination for Object Transportation
Zhang, W., Street, C. & Mansouri, M., Oct 2024, In: Robotics and Autonomous Systems. 180, 21 p., 104773.Research output: Contribution to journal › Article › peer-review
Open AccessFile38 Downloads (Pure) -
Towards a Verifiable Toolchain for Robotics
Street, C., Warsame, Y., Mansouri, M., Klauck, M., Henkel, C., Lampacrescia, M., Palmas, M., Lange, R., Ghiorzi, E., Tacchella, A., Azrou, R., Lallement, R., Morelli, M., I. Chen, G., Wallis, D., Bernagozzi, S., Rosa, S., Randazzo, M., Faraci, S. & Natale, L., 8 Nov 2024, Proceedings of the AAAI Symposium Series. Batarseh, F. A. & Stein, F. (eds.). AAAI Press, p. 398-403 6 p. (AAAI Fall Symposium Series; vol. 4, no. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile51 Downloads (Pure)