Project Details
| Short title | Supermartingale Certificates for Temporal Logic |
|---|---|
| Status | Active |
| Effective start/end date | 1/09/24 → 31/08/25 |
Funding
- Advanced Research and Invention Agency
Supermartingale Certificates for Temporal Logic
- Giacobbe, Mirco (Principal Investigator)