A Abate | TU Delft Repository

Library

local_library Home Repository

AA

A Abate

Conference paper (2)

Journal article (2)

4 records found

1

VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems

Journal article (2016) - D. Adzkiya (author) , Y. Zhang (author) , A Abate (author)

Sampling-based approximations with quantitative performance for the probalistic reach-avoid problem over general Markov processes

Journal article (2015) - S Haesaert (author) , R. Babuska (author) , A Abate (author)

Backward reachability of autonomous Max-Plus-Linear systems

Conference paper (2014) - D. Adzkiya (author) , B De Schutter (author) , A Abate (author)

Bisimilar finite abstractions of stochastic control systems

Conference paper (2013) - M. Zamani (author) , P Mohajerin Esfahani (author) , R Majumdar (author) , A Abate (author) , J. Lygeros (author)