Milan Ceska

Associate Professor@Brno University of Technology·捷克·OpenReview

研究方向

controller synthesis for partially observable systems · automated synthesis techniques for probabilistic systems · approximate computing · computational analysis of biochemical systems · quantitative formal methods · data-parallel graph algorithms