Library
search
local_library
Repository
AM
A. Mereacre
View Pure Profile
Authored
1 records found
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
Conference paper -
I. Tkachev
,
A. Mereacre
,
J.P. Katoen
,
A. Abate