DFG Project Proposal Granted

The project proposal “Probabilistic Model Checking under Partial Observability with Multiple Objectives” (POMPOM) has been granted for funding by the German Research Council. The project aims to develop new model-checking algorithms for combinations of qualitative, stochastic and total expected reward objectives for partially observable Markov decision processes (and games). The funding is for two years and Raphael Berthon, a former PhD student of Jean-Francois Raskin and Guillermo Perez, will be working on this project.