Research output per year
Research output per year
Project Details
| Acronym | REXASI-PRO |
|---|---|
| Status | Active |
| Effective start/end date | 1/10/2022 → 30/09/2025 |
Collaborative partners
- King's College London
- Euronet Consulting
- UAV Autosystems Hovering Solutions
- Spindox (lead)
- V-RESEARCH
- Consiglio Nazionale Delle Richerche
- Deutsches Forschungszentrum für Künstliche Intelligenz GmbH
- Universidad de Sevilla
- Aitek SpA
Funding
- TSB Technology Strategy Board: £385,984.00
Research output
- 2 Conference paper
-
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Bortolussi, L., Cairoli, F. & Paoletti, N., 21 Jan 2023, (Accepted/In press) 26th ACM International Conference on Hybrid Systems: Computation and Control.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile46 Downloads (Pure) -
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees
Cairoli, F., Bortolussi, L. & Paoletti, N., 22 Jun 2023, (Accepted/In press) 23rd International Conference on Runtime Verification. SpringerResearch output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile69 Downloads (Pure)