Intelligent Decision-Making Under Uncertainty: Beyond Probabilities

application of verification to reinforcementlearning so far.Our main objective is to devise novel, data-driven verificationmethods that tightly integrate with reinforcement learning. Inparticular, we develop [...] learning. Bio: Nils Jansen is an associate professor with the Institutefor Computing and Information Science (ICIS) at Radboud University,Nijmegen, The Netherlands. He received his Ph.D. with distinction fromRWTH [...] several grants in academic andindustrial settings, among them an ERC starting grant with the title:Data-Driven Verification and Learning Under Uncertainty (DEUCE). …