The following pages link to Markus Siegle (Q600973):
Displaying 14 items.
- Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications (Q600975) (← links)
- Solving systems of bilinear equations for transition rate reconstruction (Q2145274) (← links)
- Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states (Q2252526) (← links)
- Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization (Q2937736) (← links)
- An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA (Q3599097) (← links)
- (Q4471933) (← links)
- (Q4518904) (← links)
- (Q4800174) (← links)
- (Q4813205) (← links)
- (Q4994709) (← links)
- It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models (Q5014508) (← links)
- On Lifetime Optimization of Boolean Parallel Systems with Erlang Repair Distributions (Q5232816) (← links)
- Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. (Q5240153) (← links)
- Model Checking Software (Q5899038) (← links)
