The following pages link to Anne Remke (Q832096):
Displayed 10 items.
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction (Q832097) (← links)
- CSL model checking algorithms for QBDs (Q995462) (← links)
- Learning that grid-convenience does not hurt resilience in the presence of uncertainty (Q2112134) (← links)
- Applying Mean-Field Approximation to Continuous Time Markov Chains (Q2937739) (← links)
- CSL Model Checking Algorithms for Infinite-State Structured Markov Chains (Q3510851) (← links)
- A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks (Q3543298) (← links)
- Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition (Q4649392) (← links)
- Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings (Q5146372) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703762) (← links)
- Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes (Q6190185) (← links)