Skip to main content

Publications

If you can’t find the preprint you’re looking for below, please try on the TU Delft repository, ORCiD, or GoogleScholar via the linked logos above.

Show all

2023

1.

Peruffo, Andrea; Jr., Manuel Mazo

Poster: Convex Scenario Optimisation for ReLU Networks Proceedings Article

In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, pp. 1–2, 2023.

BibTeX | Tags: Learning

2.

Coppola, Rudi; Peruffo, Andrea; Jr., Manuel Mazo

Data-driven abstractions for verification of deterministic systems Journal Article

In: IEEE Control Systems Letters (To appear), 2023.

BibTeX | Tags: Formal methods, Learning

2022

3.

Ornia, Daniel Jarne; Jr., Manuel Mazo

Robust Event-Driven Interactions in Cooperative Multi-agent Learning Proceedings Article

In: International Conference on Formal Modeling and Analysis of Timed Systems, pp. 281–297, Springer International Publishing Cham 2022.

BibTeX | Tags: Learning, Robotics, SENTIENT

4.

Ornia, Daniel Jarne; Jr., Manuel Mazo

Event-Based Communication in Distributed Q-Learning Proceedings Article

In: 2022 IEEE 61st Conference on Decision and Control (CDC), pp. 2379–2386, IEEE 2022.

BibTeX | Tags: Learning, Robotics, SENTIENT

5.

Peruffo, Andrea; Jr., Manuel Mazo

Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems Journal Article

In: IEEE Control Systems Letters, vol. 7, pp. 115–120, 2022.

BibTeX | Tags: Formal methods, Learning, NCS, SENTIENT