Publications

@report{JRHMA23,
  author = {Jarne, Daniel and Romao, Licio and Hammond, Lewis and Mazo, Manuel and Abate, Alessandro},
  doi = {https://doi.org/10.48550/arXiv.2209.15320},
  title = {Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives},
  year = {2023},
}

@article{BRAPPSJ23,
  author = {Badings, Thom and Romao, Licio and Abate, Alessandro and Parker, D. and Poonawala, H. and Stoelinga, M. and Jensen, N.},
  doi = {https://doi.org/10.1613/jair.1.14253},
  journal = {Journal of Artificial Intelligence Research},
  pages = {341-391},
  title = {Robust Control for Dynamical Systems with Non-Gaussian via Formal Abstractions},
  volume = {76},
  year = {2023},
}

@article{RMP22b,
  author = {Romao, Licio and Margellos, Kostas and Papachristodoulou, Antonis},
  doi = {https://doi.org/10.1016/j.automatica.2022.110601},
  journal = {Automatica},
  pages = {1-9},
  title = {Probabilistic feasibility guarantees for convex scenario programs with an arbitrary number of discarded constraints},
  volume = {149},
  year = {2023},
}

@article{RPM23,
  author = {Romao, Licio and Margellos, Kostas and Papachristodoulou, Antonis},
  doi = {https://doi.org/10.1109/TAC.2022.3165320},
  journal = {IEEE Transactions on Automatic Control},
  title = {On the exact feasibility of convex scenario programs with discarded constraints},
  year = {2023},
}

@article{RMNP21,
  author = {Romao, Licio and Margellos, Kostas and Notarstefano, Giuseppe and Papachristodoulou, Antonis},
  doi = {https://doi.org/10.1016/j.automatica.2021.109738},
  journal = {Automatica},
  pages = {109738},
  title = {Subgradient averaging for multi-agent optimisation with different constraint sets},
  volume = {131},
  year = {2021},
}

@article{RMP18,
  author = {Romao, Licio and Margellos, Kostas and Papachristodoulou, Antonis},
  doi = {https://doi.org/10.1109/LCSYS.2018.2849611},
  issue = {4},
  journal = {IEEE Control Systems Letters},
  pages = {779-784},
  publisher = {IEEE},
  title = {Distributed Actuator Selection: Achieving Optimality via a Primal-Dual Algorithm},
  volume = {2},
  year = {2018},
}

@inproceedings{BRAJ23a,
  author = {Badings, Thom and Romao, Licio and Abate, Alessandro and Jansen, Nils},
  doi = {https://doi.org/10.48550/arXiv.2210.05989},
  booktitle = {AAAI Conference On Artificial Intelligence },
  title = {Probabilities are not enough: formal controller synthesis for stochastic dynamical systems with epistemic uncertainty},
  year = {2023},
}

@inproceedings{MRCAL23,
  author = {Mathiesen, Frederik and Romao, Licio and Calvert, Simeon C and Abate, Alessandro and Laurenti, Luca},
  booktitle = {62nd Conference on Decision and Control. To appear},
  title = {Inner approximations of stochastic programs for data-driven stochastic barrier function design},
  year = {2023},
}

@inproceedings{BRAJ23c,
  author = {Banse, Adrien and Romao, Licio and Abate, Alessandro and Jungers, Raphaël M},
  booktitle = {62nd Conference on Decision and Control. To appear},
  year = {2023},
}

@inproceedings{ERGLAH23,
  author = {Engelaar, M H W and Romao, L and Gao, Y and Lazar, M and Abate, A and Haesaert, S},
  booktitle = {62nd Conference on Decision and Control. To appear},
  title = {Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications},
  year = {2023},
}

@inproceedings{RBRJA23,
  author = {Rickard, Luke and Badings, Thom and Romao, Licio and Jansen, Nils and Abate, Alessandro},
  booktitle = {20th International Conference on Quantitative Evaluation of SysTems (QEST 2023)},
  doi = {https://doi.org/10.48550/arXiv.2212.00679},
  keywords = {Markov jump linear systems,Robust control,safety guarantees,uncertain models},
  title = {Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics},
  year = {2023},
}

@inproceedings{BRAJ23b,
  author = {Banse, Adrien and Romao, Licio and Abate, Alessandro and Jungers, Raphael M},
  doi = {https://doi.org/10.48550/arXiv.2212.01926},
  booktitle = {5th Annual Learning for Dynamics and Control Conference},
  pages = {1-12},
  year = {2023},
}

@inproceedings{RHA23,
  author = {Romao, Licio and Hota, Ashish R and Abate, Alessandro},
  booktitle = {62nd Conference on Decision and Control. To appear},
  title = {Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding},
  year = {2023},
}

@inproceedings{RMP21,
  author = {Romao, Licio and Margellos, Kostas and Papachristodoulou, Antonis},
  city = {Zurich, Switzerland.},
  booktitle = {3rd Annual Learning for Dynamics $\&$ Control Conference.},
  title = {Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples},
  year = {2021},
}

@inproceedings{RMP20,
  author = {Romao, Licio and Margellos, Kostas and Papachristodoulou, Antonis},
  booktitle = {59th IEEE Conference on Decision and Control},
  pages = {2228-2233},
  title = {Tight generalization guarantees for the sampling and discarding approach to scenario optimization},
  year = {2020},
}

@inproceedings{RMNP19,
  author = {Romao, Licio and Margellos, Kostas and Notarstefano, Giuseppe and Papachristodoulou, Antonis},
  booktitle = {58th Conference on Decision and Control},
  pages = {7448-7453},
  title = {Convergence rate analysis of a subgradient averaging algorithm for distributed optimisation with different constraint sets},
  year = {2019},
}

@inproceedings{RdOPO18,
  author = {Romao, Licio and de Oliveira, Mauricio and Peres, Pedro and Oliveira, Ricardo},
  booktitle = {Proceedings of the American Control Conference},
  month = aug,
  pages = {4287-4292},
  publisher = {Institute of Electrical and Electronics Engineers Inc.},
  title = {H-inf filter design with low- and middle-frequency specifications for continuous-time linear systems: LMI conditions derived from two different extensions of the KYP lemma},
  volume = {2018-June},
  year = {2018},
}

@inproceedings{RFdOOP17,
  author = {Romão, Lício B.R.R. and Frezzatto, Luciano and de Oliveira, Maurício C. and Oliveira, Ricardo C.L.F. and Peres, Pedro L.D.},
  doi = {10.1016/j.ifacol.2017.08.1044},
  issn = {24058963},
  issue = {1},
  booktitle = {IFAC-PapersOnLine},
  keywords = {Filtering,Generalized Kalman-Yakubovich-Popov Lemma,Linear time-invariant uncertain systems,Low-frequency Specifications,Robust linear matrix inequalities},
  month = jul,
  pages = {6477-6482},
  publisher = {Elsevier B.V.},
  title = {Non-minimal order low-frequency H-inf filtering for uncertain discrete-time systems},
  volume = {50},
  year = {2017},
}

@inproceedings{ROP17,
  author = {Romao, Licio B. R. R. and Oliveira, Ricardo C. L. F. and Peres, Pedro L. D.},
  booktitle = {Simposio Brasileiro de Automacao Inteligente (SBAI)},
  title = {Projeto de Filtros para Sistemas a Tempo Discreto com Criterio H-infinito em Faixa de Frequencias},
  year = {2017},
}

@inproceedings{RdOPO16,
  author = {Romao, Licio and de Oliveira, Mauricio and Peres, Pedro and Oliveira, Ricardo},
  doi = {https://doi.org/10.1109/CACSD.2016.7602552},
  booktitle = {Proceedings of the IEEE International Symposium on Computer-Aided Control System Design},
  month = oct,
  pages = {1054-1059},
  title = {State-feedback and filtering problems using the generalized KYP lemma},
  year = {2016},
}

@inproceedings{RPO16,
  author = {Romao, Licio B. R. R. and Peres, Pedro L. D. and Oliveira, Ricardo C. L. F.},
  booktitle = {XXI Congresso Brasileiro de Automatica},
  title = {H-infinity Robust Filter Design for Continuous-Time Linear Systems Using LMIs with a Scalar Parameter},
  year = {2016},
}

@inproceedings{ROP15,
  author = {Romao, Licio B. R. R. and Oliveira, Ricardo C. L. F. and Peres, Pedro L. D.},
  booktitle = {Simposio Brasileiro de Automacao Inteligente (SBAI)},
  title = {Projeto de Filtros Robustos H-2 usando LMIs com Escalares},
  year = {2015},
}

@thesis{Romao21,
  author = {Romao, Licio},
  institution = {University of Oxford},
  title = {Scalable and data-driven approaches to convex programming},
  year = {2021},
}

@thesis{Romao17,
  author = {Romao, Licio},
  institution = {Universidade Estadual de Campinas (UNICAMP)},
  title = {Projeto de Filtros para Sistemas Lineares com Critérios H-2, H-infinito e H-infinito em Faixas de Frequência por meio de Desigualdades Matriciais},
  year = {2017},
}