Licio Romao

Autom., March, 2023

On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints.

[BibT_eX]

[DOI]

Maico Hendrikus Wilhelmus Engelaar

IEEE Trans. Autom. Control., 2023

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2023

Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications.

[BibT_eX]

[DOI]

CoRR, 2023

Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version].

[BibT_eX]

[DOI]

CoRR, 2023

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Data-driven memory-dependent abstractions of dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2023

Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding.

[BibT_eX]

[DOI]

Frederik Baymler Mathiesen

Ashish R. Hota

Alessandro Abate

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Abstracting Linear Stochastic Systems via Knowledge Filtering.

[BibT_eX]

[DOI]

Maico Hendrikus Wilhelmus Engelaar

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.

[BibT_eX]

[DOI]

CoRR, 2022

Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Scalable and data-driven approaches to convex programming

[BibT_eX]

[DOI]

PhD thesis, 2021

Subgradient averaging for multi-agent optimisation with different constraint sets.

[BibT_eX]

[DOI]

Giuseppe Notarstefano

Autom., 2021

Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples.

[BibT_eX]

[DOI]

Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

2020

Tight generalization guarantees for the sampling and discarding approach to scenario optimization.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Convergence rate analysis of a subgradient averaging algorithm for distributed optimisation with different constraint sets.

[BibT_eX]

[DOI]

Giuseppe Notarstefano

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Distributed Actuator Selection: Achieving Optimality via a Primal-Dual Algorithm.

[BibT_eX]

[DOI]