Probability-raising Causality in Markov Decision Processes
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
18 Jul 2023
Conference
| Title | Workshop on Verification of Probabilistic Programs VeriProp 2023 |
|---|---|
| Conference number | |
| Duration | 18 July 2023 |
| Website | |
| Location | |
| City | Paris, France |