Considering Superposition in the Composable Hybrid Automata.

Jafar AkhundovPeter TrögerMatthias Werner
Published in: CS&P (2016)