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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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