Paper accepted at FORMATS 2015

The paper entitled “Multi-Objective Parameter Synthesis in Probabilistic Hybrid Systems” by Martin Fränzle, Sebastian Gerwinn, Paul Kröger (all Oldenburg), Alessandro Abate (Oxford) and Joost-Pieter Katoen has been accepted at the 13th Int. Conf. on Formal Modeling and Analysis of Timed Systems.  This paper presents a method to synthesize parameter instances (if such exist) of probabilistic hybrid automata satisfying a multi-objective bounded horizon specification over expected rewards.