Library
search
local_library
Repository
AA
A Abate
View Pure Profile
Authored
4 records found
Sampling-based approximations with quantitative performance for the probalistic reach-avoid problem over general Markov processes
Journal article -
S Haesaert
,
R. Babuska
,
A Abate
VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems
Journal article -
D. Adzkiya
,
D. Adzkiya
,
Y. Zhang
,
A Abate
Backward reachability of autonomous Max-Plus-Linear systems
Conference paper -
D. Adzkiya
,
B De Schutter
,
A Abate
Bisimilar finite abstractions of stochastic control systems
Conference paper -
M. Zamani
,
P Mohajerin Esfahani
,
R Majumdar
,
A Abate
,
J. Lygeros