1. Markov set-chains as abstractions of stochastic hybrid systems. In International Workshop on Hybrid Systems: Computation and Control;Abate,2008
2. Neural abstractions;Abate;Advances in Neural Information Processing Systems,2022
3. Formal control synthesis for stochastic neural network dynamic models;Adams;IEEE Control Systems Letters,2022
4. Probabilities are not enough: Formal controller synthesis for stochastic dynamical models with epistemic uncertainty;Badings;In Proceedings of the AAAI Conference on Artificial Intelligence, volume 37,2023
5. Principles Of Model Checking, volume 950;Baier,2008