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