Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
AM
A. Mereacre
Academic Work (1)
Conference paper (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
Conference paper (2013) -
I. Tkachev (author)
,
A. Mereacre (author)
,
J.P. Katoen (author)
,
A. Abate (author)
