From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning - researchr publication

researchr

You are not signed in
Sign in
Sign up

Kim G. Larsen, Uli Fahrenberg, Axel Legay. From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. In Dependable Software Systems Engineering. pages 60-103, 2017. [doi]

Abstract is missing.

runs on WebDSL