AA

A Abate

4 records found

Authored

VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems
Journal article (2016) - D. Adzkiya, D. Adzkiya, Yuexing Zhang, A Abate

Sampling-based approximations with quantitative performance for the probalistic reach-avoid problem over general Markov processes
Journal article (2015) - S Haesaert, R. Babuska, A Abate

Backward reachability of autonomous Max-Plus-Linear systems
Conference paper (2014) - D. Adzkiya, B De Schutter, A Abate

Bisimilar finite abstractions of stochastic control systems