Trustworthy Intelligent Systems

Skip to content
  • Home
  • Members
  • Research
    • Publications
    • Projects
  • Teaching
    • Discrete Mathematics
    • Formal Methods
    • Reinforcement Learning
    • Algorithm Design and Analysis
  • Contact
  • Sino-Europe institute

Publication

[HahnHHT16] Exploiting Robust Optimization for Interval Probabilistic Bisimulation Hahn, E. M.; Hashemi, V.; Hermanns, H. and Turrini, A. In QEST, pages 55-71, LNCS 9826, 2016.
Downloads: pdf, bibURL: https://doi.org/10.1007/978-3-319-43425-4_4

Admin area

  • Log in
Proudly powered by WordPress