Sign in

Exploiting Robust Optimization for Interval Probabilistic Bisimulation.

Ernst Moritz HahnVahid HashemiHolger HermannsAndrea Turrini
Published in: QEST (2016)
Keyphrases