Author:Arnd Hartmanns
Keyphrasescontrol synthesis, formal verification, hybrid models, probabilistic model checking, probabilistic safety and reachability, simulations, statistical model checking, stochastic models. |
| ||||
| ||||
| Copyright © 2012-2020 easychair.org. All rights reserved. |