A Abate | TU Delft 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), D. Adzkiya (author), Yuexing 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)