Safety verification of output feedback controllers for nonlinear systems by Abate, A, Lesser, K

ABC(SMC) 2: simultaneous inference and model checking of chemical reaction networks by Molyneux, GW, Abate, A

Benchmarks for cyber-physical systems: A modular model library for building automation systems by Cauchi, N, Abate, A

Multi-objective optimal control with safety as a priority by Abate, A, Lesser, K

Quantitative approximation of the probability distribution of a Markov process by formal abstractions by Esmaeil Zadeh Soudjani, S, Abate, A

Aggregation and control of populations of thermostatically controlled loads by formal abstractions by Esmaeil Zadeh Soudjani, S, Abate, A

Verification of general Markov decision processes by approximate similarity relations and policy refinement by Haesaert, S, Soudjani, SE, Abate, A

Certified policy synthesis for general Markov decision processes: An application in building automation systems by Haesaert, S, Cauchi, N, Abate, A

Markov chain approximations to stochastic differential equations by recombination on lattice trees by Cosentino, F, Oberhauser, H, Abate, A

Grid-free computation of probabilistic safety with Malliavin calculus by Cosentino, F, Oberhauser, H, Abate, A

Carathéodory sampling for stochastic gradient descent by Cosentino, F, Oberhauser, H, Abate, A

Formal control synthesis via simulation relations and behavioral theory for discrete-time descriptor systems by Haesaert, S, Chen, F, Abate, A, Weiland, S

Learning probabilistic termination proofs by Abate, A, Giacobbe, M, Roy, D

QUILT: quantify, infer and label the thermal efficiency of heating and cooling residential homes by Brown, J, Abate, A, Rogers, A

Towards verifiable and safe model-free reinforcement learning by Hasanbeig, M, Kroening, D, Abate, A

A randomized algorithm to reduce the support of discrete measures by Cosentino, F, Oberhauser, H, Abate, A

Bisimulation learning by Abate, A, Giacobbe, M, Schnitzer, Y

Carathéodory sampling for stochastic gradient descent by Cosentino, F, Oberhauser, H, Abate, A

Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations by Abate, A, Češka, M, Kwiatkowska, M

Disaggregation of household solar energy generation using censored smart meter data by Brown, J, Abate, A, Rogers, A