Activities per year
- 2 results
Search results
-
Radboud University Nijmegen
Stefan Pranger (Visitor)
2 Apr 2023 → 7 Apr 2023Activity: Visiting an external academic institution › Research at external institution
-
Easy-to-Use Shield Synthesis for RL with Tempest
Stefan Pranger (Speaker)
18 Jul 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science