Probability-raising Causality in Markov Decision Processes
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
17 Jul 2023
Workshop
| Title | Workshop on Verification of Probabilistic Programs 2023 |
|---|---|
| Abbreviated title | VeriProP 2023 |
| Duration | 17 July 2023 |
| Website | |
| Location | Maison de la Chimie |
| City | Paris |
| Country | France |