|
|
Університет Mасарика
Українська
Čeština
English
Čeština
English
Університет імені Масарика допомагає Україні
:
Masarykova univerzita
Výzkum
Publikace
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
More info
Close