Probability-raising Causality in Markov Decision Processes
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
17 Juli 2023
Workshop
| Titel | Workshop on Verification of Probabilistic Programs 2023 |
|---|---|
| Kurztitel | VeriProP 2023 |
| Dauer | 17 Juli 2023 |
| Webseite | |
| Ort | Maison de la Chimie |
| Stadt | Paris |
| Land | Frankreich |