Showing 1 - 2 results of 2 for search 'Markus Siegle', query time: 0.02s Refine Results
  1. 1
    Lattice structures for bisimilar Probabilistic Automata

    Lattice structures for bisimilar Probabilistic Automata by Johann Schuster, Markus Siegle

    Published 2014-02-01
    Get full text
    Article
  2. 2
    Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements

    Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements by Bharath Siva Kumar Tati, Markus Siegle

    Published 2016-07-01
    Get full text
    Article

Search Tools: