Improving sample efficiency in Statistical Model Checking
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
- Patrick Wienhöft - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
20 Sept 2022
Related external organisation
| Organisation | Radboud University Nijmegen |
|---|