Skip to content Skip to footer

Research Portal of the TU Dresden

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

Keywords

Related content

Activities

Radboud University Nijmegen

Wienhöft, P. (Visitor)

19 Sept 2022 → 23 Sept 2022

Activity: Visiting external institutions › Research stay

View all activities (1)