default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Luca Laurenti"
download as .bib file
@article{DBLP:journals/ai/WickerLPPAK24,
author = {Matthew Wicker and
Luca Laurenti and
Andrea Patane and
Nicola Paoletti and
Alessandro Abate and
Marta Kwiatkowska},
title = {Probabilistic reach-avoid for Bayesian neural networks},
journal = {Artif. Intell.},
volume = {334},
pages = {104132},
year = {2024},
url = {https://doi.org/10.1016/j.artint.2024.104132},
doi = {10.1016/J.ARTINT.2024.104132},
timestamp = {Mon, 08 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/WickerLPPAK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/DelimpaltadakisLM24,
author = {Giannis Delimpaltadakis and
Luca Laurenti and
Manuel Mazo},
title = {Formal Analysis of the Sampling Behavior of Stochastic Event-Triggered
Control},
journal = {{IEEE} Trans. Autom. Control.},
volume = {69},
number = {7},
pages = {4491--4505},
year = {2024},
url = {https://doi.org/10.1109/tac.2023.3333748},
doi = {10.1109/TAC.2023.3333748},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/DelimpaltadakisLM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WickerPLK24,
author = {Matthew Wicker and
Andrea Patane and
Luca Laurenti and
Marta Kwiatkowska},
editor = {Andr{\'{e}} Platzer and
Kristin Yvonne Rozier and
Matteo Pradella and
Matteo Rossi},
title = {Adversarial Robustness Certification for Bayesian Neural Networks},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy,
September 9-13, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14933},
pages = {3--28},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71162-6\_1},
doi = {10.1007/978-3-031-71162-6\_1},
timestamp = {Fri, 20 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/WickerPLK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/GraciaBLL24,
author = {Ibon Gracia and
Dimitris Boskos and
Luca Laurenti and
Morteza Lahijanian},
editor = {Alessandro Abate and
Mark Cannon and
Kostas Margellos and
Antonis Papachristodoulou},
title = {Data-driven strategy synthesis for stochastic systems with unknown
nonlinear disturbances},
booktitle = {6th Annual Learning for Dynamics {\&} Control Conference, 15-17
July 2024, University of Oxford, Oxford, {UK}},
series = {Proceedings of Machine Learning Research},
volume = {242},
pages = {1633--1645},
publisher = {{PMLR}},
year = {2024},
url = {https://proceedings.mlr.press/v242/gracia24a.html},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/l4dc/GraciaBLL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-04068,
author = {Frederik Baymler Mathiesen and
Morteza Lahijanian and
Luca Laurenti},
title = {IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision
Processes},
journal = {CoRR},
volume = {abs/2401.04068},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.04068},
doi = {10.48550/ARXIV.2401.04068},
eprinttype = {arXiv},
eprint = {2401.04068},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-04068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-14372,
author = {Alessandro Riccardi and
Luca Laurenti and
Bart De Schutter},
title = {A Benchmark for the Application of Distributed Control Techniques
to the Electricity Network of the European Economic Area},
journal = {CoRR},
volume = {abs/2403.14372},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.14372},
doi = {10.48550/ARXIV.2403.14372},
eprinttype = {arXiv},
eprint = {2403.14372},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-14372.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-15626,
author = {Eduardo Figueiredo and
Andrea Patane and
Morteza Lahijanian and
Luca Laurenti},
title = {Uncertainty Propagation in Stochastic Systems via Mixture Models with
Error Quantification},
journal = {CoRR},
volume = {abs/2403.15626},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.15626},
doi = {10.48550/ARXIV.2403.15626},
eprinttype = {arXiv},
eprint = {2403.15626},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-15626.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-16986,
author = {Rayan Mazouz and
Frederik Baymler Mathiesen and
Luca Laurenti and
Morteza Lahijanian},
title = {Piecewise Stochastic Barrier Functions},
journal = {CoRR},
volume = {abs/2404.16986},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.16986},
doi = {10.48550/ARXIV.2404.16986},
eprinttype = {arXiv},
eprint = {2404.16986},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-16986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-00136,
author = {Rayan Mazouz and
John Skovbekk and
Frederik Baymler Mathiesen and
Eric W. Frew and
Luca Laurenti and
Morteza Lahijanian},
title = {Data-Driven Permissible Safe Control with Barrier Certificates},
journal = {CoRR},
volume = {abs/2405.00136},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.00136},
doi = {10.48550/ARXIV.2405.00136},
eprinttype = {arXiv},
eprint = {2405.00136},
timestamp = {Sun, 09 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-00136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-09704,
author = {Ibon Gracia and
Dimitris Boskos and
Luca Laurenti and
Morteza Lahijanian},
title = {Data-Driven Strategy Synthesis for Stochastic Systems with Unknown
Nonlinear Disturbances},
journal = {CoRR},
volume = {abs/2406.09704},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.09704},
doi = {10.48550/ARXIV.2406.09704},
eprinttype = {arXiv},
eprint = {2406.09704},
timestamp = {Wed, 10 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-09704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-18707,
author = {Steven Adams and
Andrea Patan{\`{e}} and
Morteza Lahijanian and
Luca Laurenti},
title = {Finite Neural Networks as Mixtures of Gaussian Processes: From Provable
Error Bounds to Prior Selection},
journal = {CoRR},
volume = {abs/2407.18707},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.18707},
doi = {10.48550/ARXIV.2407.18707},
eprinttype = {arXiv},
eprint = {2407.18707},
timestamp = {Sat, 24 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-18707.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-09033,
author = {Robert Reed and
Luca Laurenti and
Morteza Lahijanian},
title = {Error Bounds For Gaussian Process Regression Under Bounded Support
Noise With Applications To Safety Certification},
journal = {CoRR},
volume = {abs/2408.09033},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.09033},
doi = {10.48550/ARXIV.2408.09033},
eprinttype = {arXiv},
eprint = {2408.09033},
timestamp = {Tue, 24 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-09033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cea/GarciaBPRLLMGJB23,
author = {Alexandre Rossetto Garcia and
Alberto Carlos de Campos Bernardi and
Jos{\'{e}} Ricardo Macedo Pezzopane and
Veronica Redaelli and
Fabio Luzi and
Nicolle Laurenti and
Lucas Perassoli Menegazzo and
Christine Elisabeth Grudzinski and
Paulo Cerqueira dos Santos Junior and
Antonio Vinicius Corr{\^{e}}a Barbosa},
title = {Use of infrared thermography from a crewed aerial vehicle for remote
sensing of tropical pasture areas with different levels of afforestation},
journal = {Comput. Electron. Agric.},
volume = {213},
pages = {108198},
year = {2023},
url = {https://doi.org/10.1016/j.compag.2023.108198},
doi = {10.1016/J.COMPAG.2023.108198},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cea/GarciaBPRLLMGJB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/MathiesenCL23,
author = {Frederik Baymler Mathiesen and
Simeon C. Calvert and
Luca Laurenti},
title = {Safety Certification for Stochastic Systems via Neural Barrier Functions},
journal = {{IEEE} Control. Syst. Lett.},
volume = {7},
pages = {973--978},
year = {2023},
url = {https://doi.org/10.1109/LCSYS.2022.3229865},
doi = {10.1109/LCSYS.2022.3229865},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csysl/MathiesenCL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/ReedLL23,
author = {Robert Reed and
Luca Laurenti and
Morteza Lahijanian},
title = {Promises of Deep Kernel Learning for Control Synthesis},
journal = {{IEEE} Control. Syst. Lett.},
volume = {7},
pages = {3986--3991},
year = {2023},
url = {https://doi.org/10.1109/LCSYS.2023.3340995},
doi = {10.1109/LCSYS.2023.3340995},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csysl/ReedLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/SkovbekkLFL23,
author = {John Skovbekk and
Luca Laurenti and
Eric W. Frew and
Morteza Lahijanian},
title = {Formal Abstraction of General Stochastic Systems via Noise Partitioning},
journal = {{IEEE} Control. Syst. Lett.},
volume = {7},
pages = {3711--3716},
year = {2023},
url = {https://doi.org/10.1109/LCSYS.2023.3340621},
doi = {10.1109/LCSYS.2023.3340621},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csysl/SkovbekkLFL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/GhiasiPLGSGK23,
author = {Shadi Ghiasi and
Andrea Patane and
Luca Laurenti and
Claudio Gentili and
Enzo Pasquale Scilingo and
Alberto Greco and
Marta Kwiatkowska},
title = {Physiologically-Informed Gaussian Processes for Interpretable Modelling
of Psycho-Physiological States},
journal = {{IEEE} J. Biomed. Health Informatics},
volume = {27},
number = {8},
pages = {3721--3730},
year = {2023},
url = {https://doi.org/10.1109/JBHI.2022.3224775},
doi = {10.1109/JBHI.2022.3224775},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/titb/GhiasiPLGSGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/MathiesenRCAL23,
author = {Frederik Baymler Mathiesen and
Licio Romao and
Simeon C. Calvert and
Alessandro Abate and
Luca Laurenti},
title = {Inner Approximations of Stochastic Programs for Data-Driven Stochastic
Barrier Function Design},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {3073--3080},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10383306},
doi = {10.1109/CDC49753.2023.10383306},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/MathiesenRCAL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/VasilievLCLBVC23,
author = {Iulian Vasiliev and
Irina Luca and
Larisa Condrachi and
Laurentiu Luca and
Marian Barbu and
Ram{\'{o}}n Vilanova and
Sergiu Caraman},
title = {Model Predictive Control of a wastewater treatment process using neural
networks},
booktitle = {28th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2023, Sinaia, Romania, September 12-15,
2023},
pages = {1--7},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ETFA54631.2023.10275488},
doi = {10.1109/ETFA54631.2023.10275488},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/VasilievLCLBVC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/VasilievLBVC23,
author = {Iulian Vasiliev and
Laurentiu Luca and
Marian Barbu and
Ram{\'{o}}n Vilanova and
Sergiu Caraman},
title = {Sliding Window-based Particle Swarm optimization Algorithm for a Sewer
Network},
booktitle = {European Control Conference, {ECC} 2023, Bucharest, Romania, June
13-16, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.23919/ECC57647.2023.10178171},
doi = {10.23919/ECC57647.2023.10178171},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eucc/VasilievLBVC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Delimpaltadakis23,
author = {Giannis Delimpaltadakis and
Morteza Lahijanian and
Manuel Mazo Jr. and
Luca Laurenti},
title = {Interval Markov Decision Processes with Continuous Action-Spaces},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {12:1--12:10},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587117},
doi = {10.1145/3575870.3587117},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Delimpaltadakis23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GraciaBLM23,
author = {Ibon Gracia and
Dimitris Boskos and
Luca Laurenti and
Manuel Mazo Jr.},
title = {Distributionally Robust Strategy Synthesis for Switched Stochastic
Systems},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {11:1--11:10},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587127},
doi = {10.1145/3575870.3587127},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GraciaBLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/AdamsPLL23,
author = {Steven Adams and
Andrea Patane and
Morteza Lahijanian and
Luca Laurenti},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {{BNN-DP:} Robustness Certification of Bayesian Neural Networks via
Dynamic Programming},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {133--151},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/adams23a.html},
timestamp = {Mon, 28 Aug 2023 17:23:08 +0200},
biburl = {https://dblp.org/rec/conf/icml/AdamsPLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icstcc/VasilievLBVC23,
author = {Iulian Vasiliev and
Laurentiu Luca and
Marian Barbu and
Ram{\'{o}}n Vilanova and
Sergiu Caraman},
editor = {Radu{-}Emil Precup},
title = {An analysis towards integrated control of wastewater collecting and
treatment systems},
booktitle = {27th International Conference on System Theory, Control and Computing,
{ICSTCC} 2023, Timisoara, Romania, October 11-13, 2023},
pages = {233--238},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSTCC59206.2023.10308495},
doi = {10.1109/ICSTCC59206.2023.10308495},
timestamp = {Fri, 24 Nov 2023 20:33:23 +0100},
biburl = {https://dblp.org/rec/conf/icstcc/VasilievLBVC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-04505,
author = {Frederik Baymler Mathiesen and
Licio Romao and
Simeon C. Calvert and
Alessandro Abate and
Luca Laurenti},
title = {Inner approximations of stochastic programs for data-driven stochastic
barrier function design},
journal = {CoRR},
volume = {abs/2304.04505},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.04505},
doi = {10.48550/ARXIV.2304.04505},
eprinttype = {arXiv},
eprint = {2304.04505},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-04505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-10828,
author = {Alice Doherty and
Matthew Wicker and
Luca Laurenti and
Andrea Patane},
title = {Individual Fairness in Bayesian Neural Networks},
journal = {CoRR},
volume = {abs/2304.10828},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.10828},
doi = {10.48550/ARXIV.2304.10828},
eprinttype = {arXiv},
eprint = {2304.10828},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-10828.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-10742,
author = {Steven Adams and
Andrea Patane and
Morteza Lahijanian and
Luca Laurenti},
title = {{BNN-DP:} Robustness Certification of Bayesian Neural Networks via
Dynamic Programming},
journal = {CoRR},
volume = {abs/2306.10742},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.10742},
doi = {10.48550/ARXIV.2306.10742},
eprinttype = {arXiv},
eprint = {2306.10742},
timestamp = {Thu, 22 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-10742.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-13614,
author = {Matthew Wicker and
Andrea Patane and
Luca Laurenti and
Marta Kwiatkowska},
title = {Adversarial Robustness Certification for Bayesian Neural Networks},
journal = {CoRR},
volume = {abs/2306.13614},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.13614},
doi = {10.48550/ARXIV.2306.13614},
eprinttype = {arXiv},
eprint = {2306.13614},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-13614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-06569,
author = {Robert Reed and
Luca Laurenti and
Morteza Lahijanian},
title = {Promises of Deep Kernel Learning for Control Synthesis},
journal = {CoRR},
volume = {abs/2309.06569},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.06569},
doi = {10.48550/ARXIV.2309.06569},
eprinttype = {arXiv},
eprint = {2309.06569},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-06569.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-10702,
author = {John Skovbekk and
Luca Laurenti and
Eric W. Frew and
Morteza Lahijanian},
title = {Formal Abstraction of General Stochastic Systems via Noise Partitioning},
journal = {CoRR},
volume = {abs/2309.10702},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.10702},
doi = {10.48550/ARXIV.2309.10702},
eprinttype = {arXiv},
eprint = {2309.10702},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-10702.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-01802,
author = {Luca Laurenti and
Morteza Lahijanian},
title = {Unifying Safety Approaches for Stochastic Systems: From Barrier Functions
to Uncertain Abstractions via Dynamic Programming},
journal = {CoRR},
volume = {abs/2310.01802},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.01802},
doi = {10.48550/ARXIV.2310.01802},
eprinttype = {arXiv},
eprint = {2310.01802},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01802.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-01951,
author = {Matthew Wicker and
Luca Laurenti and
Andrea Patane and
Nicola Paoletti and
Alessandro Abate and
Marta Kwiatkowska},
title = {Probabilistic Reach-Avoid for Bayesian Neural Networks},
journal = {CoRR},
volume = {abs/2310.01951},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.01951},
doi = {10.48550/ARXIV.2310.01951},
eprinttype = {arXiv},
eprint = {2310.01951},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01951.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/AdamsLL22,
author = {Steven Adams and
Morteza Lahijanian and
Luca Laurenti},
title = {Formal Control Synthesis for Stochastic Neural Network Dynamic Models},
journal = {{IEEE} Control. Syst. Lett.},
volume = {6},
pages = {2858--2863},
year = {2022},
url = {https://doi.org/10.1109/LCSYS.2022.3178143},
doi = {10.1109/LCSYS.2022.3178143},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/AdamsLL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmlr/PataneBLC0K22,
author = {Andrea Patane and
Arno Blaas and
Luca Laurenti and
Luca Cardelli and
Stephen Roberts and
Marta Kwiatkowska},
title = {Adversarial Robustness Guarantees for Gaussian Processes},
journal = {J. Mach. Learn. Res.},
volume = {23},
pages = {146:1--146:55},
year = {2022},
url = {https://jmlr.org/papers/v23/21-0382.html},
timestamp = {Wed, 11 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmlr/PataneBLC0K22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/WhitbyCKLTT22,
author = {Max Whitby and
Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti and
Mirco Tribastone and
Max Tschaikowski},
title = {{PID} Control of Biochemical Reaction Networks},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {2},
pages = {1023--1030},
year = {2022},
url = {https://doi.org/10.1109/TAC.2021.3062544},
doi = {10.1109/TAC.2021.3062544},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/WhitbyCKLTT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icl-gnss/MiljanovicACLCL22,
author = {Sanja Miljanovic and
Francesco Ardizzon and
Laura Crosara and
Nicola Laurenti and
Luca Canzian and
Enrico Lovisotto and
Nicola Montini and
Oscar Pozzobon and
Rigas T. Ioannides},
editor = {Aleksandr Ometov and
Jari Nurmi and
Elena Simona Lohan and
Joaqu{\'{\i}}n Torres{-}Sospedra and
Heidi Kuusniemi},
title = {Experimental Testing and Impact Analysis of Jamming and Spoofing Attacks
on Professional {GNSS} Receivers},
booktitle = {{ICL-GNSS} 2022 WiP Proceedings co-located with 12th International
Conference on Localization and {GNSS} (2022), Tampere, Finland, June
07-09, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3183},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3183/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/icl-gnss/MiljanovicACLCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icstcc/VasilievLVC22,
author = {Iulian Vasiliev and
Laurentiu Luca and
Ram{\'{o}}n Vilanova and
Sergiu Caraman},
editor = {Marian Barbu and
Razvan Solea},
title = {Sewer Network Modelling and Control - {A} Literature Review},
booktitle = {26th International Conference on System Theory, Control and Computing
, {ICSTCC} 2022, Sinaia, Romania, October 19-21, 2022},
pages = {58--63},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSTCC55426.2022.9931870},
doi = {10.1109/ICSTCC55426.2022.9931870},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icstcc/VasilievLVC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icstcc/VasilievLVC22a,
author = {Iulian Vasiliev and
Laurentiu Luca and
Ram{\'{o}}n Vilanova and
Sergiu Caraman},
editor = {Marian Barbu and
Razvan Solea},
title = {Optimal Control of a Sewer Network},
booktitle = {26th International Conference on System Theory, Control and Computing
, {ICSTCC} 2022, Sinaia, Romania, October 19-21, 2022},
pages = {80--85},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSTCC55426.2022.9931810},
doi = {10.1109/ICSTCC55426.2022.9931810},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icstcc/VasilievLVC22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/BocciaLGLF22,
author = {Valentina Boccia and
Leonardo De Laurentiis and
Philippe Goryl and
Ettore Lopinto and
Luca Fasano},
title = {Cal/Val Park: An Innovative and Pioneering Cal/Val Site},
booktitle = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
2022, Kuala Lumpur, Malaysia, July 17-22, 2022},
pages = {4583--4584},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IGARSS46834.2022.9884509},
doi = {10.1109/IGARSS46834.2022.9884509},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/igarss/BocciaLGLF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BenussiPWLK22,
author = {Elias Benussi and
Andrea Patan{\`{e}} and
Matthew Wicker and
Luca Laurenti and
Marta Kwiatkowska},
editor = {Luc De Raedt},
title = {Individual Fairness Guarantees for Neural Networks},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {651--658},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/92},
doi = {10.24963/IJCAI.2022/92},
timestamp = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BenussiPWLK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/MazouzMRLL22,
author = {Rayan Mazouz and
Karan Muvvala and
Akash Ratheesh and
Luca Laurenti and
Morteza Lahijanian},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Safety Guarantees for Neural Network Dynamic Systems via Stochastic
Barrier Functions},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/3f1f3e38d1ce5653afb81505d3e26618-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/MazouzMRLL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-00655,
author = {John Jackson and
Luca Laurenti and
Eric W. Frew and
Morteza Lahijanian},
title = {Formal Verification of Unknown Dynamical Systems via Gaussian Process
Regression},
journal = {CoRR},
volume = {abs/2201.00655},
year = {2022},
url = {https://arxiv.org/abs/2201.00655},
eprinttype = {arXiv},
eprint = {2201.00655},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-10178,
author = {Giannis Delimpaltadakis and
Luca Laurenti and
Manuel Mazo Jr.},
title = {Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered
Control},
journal = {CoRR},
volume = {abs/2202.10178},
year = {2022},
url = {https://arxiv.org/abs/2202.10178},
eprinttype = {arXiv},
eprint = {2202.10178},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-10178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-05903,
author = {Steven Adams and
Morteza Lahijanian and
Luca Laurenti},
title = {Formal Control Synthesis for Stochastic Neural Network Dynamic Models},
journal = {CoRR},
volume = {abs/2203.05903},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.05903},
doi = {10.48550/ARXIV.2203.05903},
eprinttype = {arXiv},
eprint = {2203.05903},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-05903.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-13313,
author = {Laura Laurenti and
Elisa Tinti and
Fabio Galasso and
Luca Franco and
Chris Marone},
title = {Deep learning for laboratory earthquake prediction and autoregressive
forecasting of fault zone stress},
journal = {CoRR},
volume = {abs/2203.13313},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.13313},
doi = {10.48550/ARXIV.2203.13313},
eprinttype = {arXiv},
eprint = {2203.13313},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-13313.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-05763,
author = {Elias Benussi and
Andrea Patane and
Matthew Wicker and
Luca Laurenti and
Marta Kwiatkowska},
title = {Individual Fairness Guarantees for Neural Networks},
journal = {CoRR},
volume = {abs/2205.05763},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.05763},
doi = {10.48550/ARXIV.2205.05763},
eprinttype = {arXiv},
eprint = {2205.05763},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-05763.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-01463,
author = {Frederik Baymler Mathiesen and
Simeon C. Calvert and
Luca Laurenti},
title = {Safety Certification for Stochastic Systems via Neural Barrier Functions},
journal = {CoRR},
volume = {abs/2206.01463},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.01463},
doi = {10.48550/ARXIV.2206.01463},
eprinttype = {arXiv},
eprint = {2206.01463},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-01463.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-07811,
author = {Rayan Mazouz and
Karan Muvvala and
Akash Ratheesh and
Luca Laurenti and
Morteza Lahijanian},
title = {Safety Guarantees for Neural Network Dynamic Systems via Stochastic
Barrier Functions},
journal = {CoRR},
volume = {abs/2206.07811},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.07811},
doi = {10.48550/ARXIV.2206.07811},
eprinttype = {arXiv},
eprint = {2206.07811},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-07811.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-06154,
author = {Luca Bortolussi and
Ginevra Carbone and
Luca Laurenti and
Andrea Patane and
Guido Sanguinetti and
Matthew Wicker},
title = {On the Robustness of Bayesian Neural Networks to Adversarial Attacks},
journal = {CoRR},
volume = {abs/2207.06154},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.06154},
doi = {10.48550/ARXIV.2207.06154},
eprinttype = {arXiv},
eprint = {2207.06154},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-06154.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-01231,
author = {Giannis Delimpaltadakis and
Morteza Lahijanian and
Manuel Mazo Jr. and
Luca Laurenti},
title = {Interval Markov Decision Processes with Continuous Action-Spaces},
journal = {CoRR},
volume = {abs/2211.01231},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.01231},
doi = {10.48550/ARXIV.2211.01231},
eprinttype = {arXiv},
eprint = {2211.01231},
timestamp = {Fri, 04 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-01231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-14260,
author = {Ibon Gracia and
Dimitris Boskos and
Luca Laurenti and
Manuel Mazo Jr.},
title = {Distributionally Robust Strategy Synthesis for Switched Stochastic
Systems},
journal = {CoRR},
volume = {abs/2212.14260},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.14260},
doi = {10.48550/ARXIV.2212.14260},
eprinttype = {arXiv},
eprint = {2212.14260},
timestamp = {Sun, 08 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-14260.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computation/CardelliKL21,
author = {Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti},
title = {A Language for Modeling and Optimizing Experimental Biological Protocols},
journal = {Comput.},
volume = {9},
number = {10},
pages = {107},
year = {2021},
url = {https://doi.org/10.3390/computation9100107},
doi = {10.3390/COMPUTATION9100107},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computation/CardelliKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/SotgiuDFTSIABBB21,
author = {Alessandro Sotgiu and
Cinzia De Donato and
Claudio Fornaro and
Sandro Tassa and
Marco Scannavini and
Dario Iannaccio and
Giovanni Ambrosi and
Simona Bartocci and
Laurent Basara and
Roberto Battiston and
William J. Burger and
Donatella Campana and
Luca Carfora and
Guido Castellini and
Piero Cipollone and
Livio Conti and
Andrea Contin and
Fulvio De Persio and
Cristian De Santis and
Francesco M. Follega and
Cristina Guandalini and
Maria Ionica and
Roberto Iuppa and
Giuliano Laurenti and
Ignazio Lazzizzera and
Mauro Lolli and
Christian Manea and
Matteo Martucci and
Giuseppe Masciantonio and
Matteo Merg{\'{e}} and
Giuseppe Osteria and
Lorenzo Pacini and
Francesco Palma and
Federico Palmonari and
Beatrice Panico and
Alexandra Parmentier and
Francesco Perfetto and
Piergiorgio Picozza and
Mirko Piersanti and
Michele Pozzato and
Matteo Puel and
Irina Rashevskaya and
Ester Ricci and
Marco Ricci and
Sergio Bruno Ricciarini and
Valentina Scotti and
Roberta Sparvoli and
Bruno Spataro and
Vincenzo Vitale and
Simona Zoffoli and
Paolo Zuccon},
title = {Control and data acquisition software of the high-energy particle
detector on board the China Seismo-Electromagnetic Satellite space
mission},
journal = {Softw. Pract. Exp.},
volume = {51},
number = {6},
pages = {1459--1480},
year = {2021},
url = {https://doi.org/10.1002/spe.2947},
doi = {10.1002/SPE.2947},
timestamp = {Wed, 14 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/SotgiuDFTSIABBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/LaurentiLACK21,
author = {Luca Laurenti and
Morteza Lahijanian and
Alessandro Abate and
Luca Cardelli and
Marta Kwiatkowska},
title = {Formal and Efficient Synthesis for Continuous-Time Linear Stochastic
Hybrid Processes},
journal = {{IEEE} Trans. Autom. Control.},
volume = {66},
number = {1},
pages = {17--32},
year = {2021},
url = {https://doi.org/10.1109/TAC.2020.2975028},
doi = {10.1109/TAC.2020.2975028},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/LaurentiLACK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/WickerLPCZK21,
author = {Matthew Wicker and
Luca Laurenti and
Andrea Patane and
Zhuotong Chen and
Zheng Zhang and
Marta Kwiatkowska},
editor = {Arindam Banerjee and
Kenji Fukumizu},
title = {Bayesian Inference with Certifiable Adversarial Robustness},
booktitle = {The 24th International Conference on Artificial Intelligence and Statistics,
{AISTATS} 2021, April 13-15, 2021, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {130},
pages = {2431--2439},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v130/wicker21a.html},
timestamp = {Wed, 14 Apr 2021 16:51:37 +0200},
biburl = {https://dblp.org/rec/conf/aistats/WickerLPCZK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Delimpaltadakis21,
author = {Giannis Delimpaltadakis and
Luca Laurenti and
Manuel Mazo},
title = {Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered
Control Systems},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {1287--1294},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683751},
doi = {10.1109/CDC45484.2021.9683751},
timestamp = {Tue, 17 May 2022 15:53:17 +0200},
biburl = {https://dblp.org/rec/conf/cdc/Delimpaltadakis21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/JacksonLFL21,
author = {John Jackson and
Luca Laurenti and
Eric W. Frew and
Morteza Lahijanian},
title = {Synergistic Offline-Online Control Synthesis via Local Gaussian Process
Regression},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {2232--2239},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683557},
doi = {10.1109/CDC45484.2021.9683557},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/JacksonLFL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/LucaCLVB21,
author = {Irina Luca and
Larisa Condrachi and
Laurentiu Luca and
Ram{\'{o}}n Vilanova and
Marian Barbu},
title = {Testing Platform for Real-Time Controllers Based on Hardware In the
Loop Simulation},
booktitle = {26th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10,
2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ETFA45728.2021.9613263},
doi = {10.1109/ETFA45728.2021.9613263},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/LucaCLVB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/JacksonLFL21,
author = {John Jackson and
Luca Laurenti and
Eric W. Frew and
Morteza Lahijanian},
editor = {Sergiy Bogomolov and
Rapha{\"{e}}l M. Jungers},
title = {Strategy synthesis for partially-known switched stochastic systems},
booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems:
Computation and Control, Nashville, Tennessee, May 19-21, 2021},
pages = {6:1--6:11},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447928.3456649},
doi = {10.1145/3447928.3456649},
timestamp = {Wed, 19 May 2021 14:55:26 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/JacksonLFL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icstcc/VasilievLBPC21,
author = {Iulian Vasiliev and
Laurentiu Luca and
Marian Barbu and
Alina Pricopie and
Sergiu Caraman},
editor = {Lavinia Ferariu and
Mihaela{-}Hanako Matcovschi and
Florina Ungureanu},
title = {Mathematical Model of a Collecting and Wastewater Treatment Integrated
System},
booktitle = {25th International Conference on System Theory, Control and Computing,
{ICSTCC} 2021, Iasi, Romania, October 20-23, 2021},
pages = {419--424},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSTCC52150.2021.9607086},
doi = {10.1109/ICSTCC52150.2021.9607086},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icstcc/VasilievLBPC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/WickerLPPAK21,
author = {Matthew Wicker and
Luca Laurenti and
Andrea Patane and
Nicola Paoletti and
Alessandro Abate and
Marta Kwiatkowska},
editor = {Cassio P. de Campos and
Marloes H. Maathuis and
Erik Quaeghebeur},
title = {Certification of iterative predictions in Bayesian neural networks},
booktitle = {Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial
Intelligence, {UAI} 2021, Virtual Event, 27-30 July 2021},
series = {Proceedings of Machine Learning Research},
volume = {161},
pages = {1713--1723},
publisher = {{AUAI} Press},
year = {2021},
url = {https://proceedings.mlr.press/v161/wicker21a.html},
timestamp = {Fri, 17 Dec 2021 17:06:27 +0100},
biburl = {https://dblp.org/rec/conf/uai/WickerLPPAK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-05289,
author = {Matthew Wicker and
Luca Laurenti and
Andrea Patane and
Zhoutong Chen and
Zheng Zhang and
Marta Kwiatkowska},
title = {Bayesian Inference with Certifiable Adversarial Robustness},
journal = {CoRR},
volume = {abs/2102.05289},
year = {2021},
url = {https://arxiv.org/abs/2102.05289},
eprinttype = {arXiv},
eprint = {2102.05289},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-05289.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-13839,
author = {Giannis Delimpaltadakis and
Luca Laurenti and
Manuel Mazo Jr.},
title = {Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered
Control Systems},
journal = {CoRR},
volume = {abs/2103.13839},
year = {2021},
url = {https://arxiv.org/abs/2103.13839},
eprinttype = {arXiv},
eprint = {2103.13839},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-13839.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-02172,
author = {John Jackson and
Luca Laurenti and
Eric W. Frew and
Morteza Lahijanian},
title = {Strategy Synthesis for Partially-known Switched Stochastic Systems},
journal = {CoRR},
volume = {abs/2104.02172},
year = {2021},
url = {https://arxiv.org/abs/2104.02172},
eprinttype = {arXiv},
eprint = {2104.02172},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-02172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-03180,
author = {Andrea Patane and
Arno Blaas and
Luca Laurenti and
Luca Cardelli and
Stephen J. Roberts and
Marta Kwiatkowska},
title = {Adversarial Robustness Guarantees for Gaussian Processes},
journal = {CoRR},
volume = {abs/2104.03180},
year = {2021},
url = {https://arxiv.org/abs/2104.03180},
eprinttype = {arXiv},
eprint = {2104.03180},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-03180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10134,
author = {Matthew Wicker and
Luca Laurenti and
Andrea Patane and
Nicola Paoletti and
Alessandro Abate and
Marta Kwiatkowska},
title = {Certification of Iterative Predictions in Bayesian Neural Networks},
journal = {CoRR},
volume = {abs/2105.10134},
year = {2021},
url = {https://arxiv.org/abs/2105.10134},
eprinttype = {arXiv},
eprint = {2105.10134},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-05525,
author = {John Jackson and
Luca Laurenti and
Eric W. Frew and
Morteza Lahijanian},
title = {Synergistic Offline-Online Control Synthesis via Local Gaussian Process
Regression},
journal = {CoRR},
volume = {abs/2110.05525},
year = {2021},
url = {https://arxiv.org/abs/2110.05525},
eprinttype = {arXiv},
eprint = {2110.05525},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-05525.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KleijnLL20,
author = {Jetty Kleijn and
Laurentiu Leustean and
Dorel Lucanu},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {173},
number = {2-3},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1917},
doi = {10.3233/FI-2020-1917},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KleijnLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/BlaasPLCKR20,
author = {Arno Blaas and
Andrea Patane and
Luca Laurenti and
Luca Cardelli and
Marta Kwiatkowska and
Stephen J. Roberts},
editor = {Silvia Chiappa and
Roberto Calandra},
title = {Adversarial Robustness Guarantees for Classification with Gaussian
Processes},
booktitle = {The 23rd International Conference on Artificial Intelligence and Statistics,
{AISTATS} 2020, 26-28 August 2020, Online [Palermo, Sicily, Italy]},
series = {Proceedings of Machine Learning Research},
volume = {108},
pages = {3372--3382},
publisher = {{PMLR}},
year = {2020},
url = {http://proceedings.mlr.press/v108/blaas20a.html},
timestamp = {Mon, 29 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aistats/BlaasPLCKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/JacksonLFL20,
author = {John Jackson and
Luca Laurenti and
Eric W. Frew and
Morteza Lahijanian},
title = {Safety Verification of Unknown Dynamical Systems via Gaussian Process
Regression},
booktitle = {59th {IEEE} Conference on Decision and Control, {CDC} 2020, Jeju Island,
South Korea, December 14-18, 2020},
pages = {860--866},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CDC42340.2020.9303814},
doi = {10.1109/CDC42340.2020.9303814},
timestamp = {Fri, 04 Mar 2022 13:31:02 +0100},
biburl = {https://dblp.org/rec/conf/cdc/JacksonLFL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/PolymenakosLPCC20,
author = {Kyriakos Polymenakos and
Luca Laurenti and
Andrea Patane and
Jan{-}Peter Calliess and
Luca Cardelli and
Marta Kwiatkowska and
Alessandro Abate and
Stephen J. Roberts},
title = {Safety Guarantees for Iterative Predictions with Gaussian Processes},
booktitle = {59th {IEEE} Conference on Decision and Control, {CDC} 2020, Jeju Island,
South Korea, December 14-18, 2020},
pages = {3187--3193},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CDC42340.2020.9304029},
doi = {10.1109/CDC42340.2020.9304029},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/PolymenakosLPCC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/GhiasiPGLSK20,
author = {Shadi Ghiasi and
Andrea Patan{\`{e}} and
Alberto Greco and
Luca Laurenti and
Enzo Pasquale Scilingo and
Marta Z. Kwiatkowska},
title = {Gaussian Processes with Physiologically-Inspired Priors for Physical
Arousal Recognition},
booktitle = {42nd Annual International Conference of the {IEEE} Engineering in
Medicine {\&} Biology Society, {EMBC} 2020, Montreal, QC, Canada,
July 20-24, 2020},
pages = {54--57},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EMBC44109.2020.9176437},
doi = {10.1109/EMBC44109.2020.9176437},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/GhiasiPGLSK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/MalfaWLWHK20,
author = {Emanuele La Malfa and
Min Wu and
Luca Laurenti and
Benjie Wang and
Anthony Hartshorn and
Marta Kwiatkowska},
editor = {Trevor Cohn and
Yulan He and
Yang Liu},
title = {Assessing Robustness of Text Classification through Maximal Safe Radius
Computation},
booktitle = {Findings of the Association for Computational Linguistics: {EMNLP}
2020, Online Event, 16-20 November 2020},
series = {Findings of {ACL}},
volume = {{EMNLP} 2020},
pages = {2949--2968},
publisher = {Association for Computational Linguistics},
year = {2020},
url = {https://doi.org/10.18653/v1/2020.findings-emnlp.266},
doi = {10.18653/V1/2020.FINDINGS-EMNLP.266},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/MalfaWLWHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/MichelmoreWLCGK20,
author = {Rhiannon Michelmore and
Matthew Wicker and
Luca Laurenti and
Luca Cardelli and
Yarin Gal and
Marta Kwiatkowska},
title = {Uncertainty Quantification with Statistical Guarantees in End-to-End
Autonomous Driving Control},
booktitle = {2020 {IEEE} International Conference on Robotics and Automation, {ICRA}
2020, Paris, France, May 31 - August 31, 2020},
pages = {7344--7350},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICRA40945.2020.9196844},
doi = {10.1109/ICRA40945.2020.9196844},
timestamp = {Mon, 28 Sep 2020 12:19:08 +0200},
biburl = {https://dblp.org/rec/conf/icra/MichelmoreWLCGK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icstcc/LucaPVBC20,
author = {Laurentiu Luca and
Alina Pricopie and
Iulian Vasiliev and
Marian Barbu and
Sergiu Caraman},
editor = {Lucian{-}Florentin Barbulescu},
title = {Fuzzy-Optimal Control Strategies for a Wastewater Treatment Plant},
booktitle = {24th International Conference on System Theory, Control and Computing,
{ICSTCC} 2020, Sinaia, Romania, October 8-10, 2020},
pages = {564--569},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTCC50638.2020.9259792},
doi = {10.1109/ICSTCC50638.2020.9259792},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icstcc/LucaPVBC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/CarboneWLPBS20,
author = {Ginevra Carbone and
Matthew Wicker and
Luca Laurenti and
Andrea Patan{\'{e}} and
Luca Bortolussi and
Guido Sanguinetti},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Robustness of Bayesian Neural Networks to Gradient-Based Attacks},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/b3f61131b6eceeb2b14835fa648a48ff-Abstract.html},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/CarboneWLPBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tsp/CiampoliES20,
author = {Luca Bianchini Ciampoli and
Nikos Economou and
Roberta Santarelli},
editor = {Norbert Herencsar},
title = {Prospecting an archaeological site by {GPR:} the case study of the
buried necropolis Laurentina},
booktitle = {43rd International Conference on Telecommunications and Signal Processing,
{TSP} 2020, Milan, Italy, July 7-9, 2020},
pages = {329--332},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/TSP49548.2020.9163454},
doi = {10.1109/TSP49548.2020.9163454},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tsp/CiampoliES20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/WickerLPK20,
author = {Matthew Wicker and
Luca Laurenti and
Andrea Patane and
Marta Kwiatkowska},
editor = {Ryan P. Adams and
Vibhav Gogate},
title = {Probabilistic Safety for Bayesian Neural Networks},
booktitle = {Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial
Intelligence, {UAI} 2020, virtual online, August 3-6, 2020},
series = {Proceedings of Machine Learning Research},
volume = {124},
pages = {1198--1207},
publisher = {{AUAI} Press},
year = {2020},
url = {http://proceedings.mlr.press/v124/wicker20a.html},
timestamp = {Tue, 07 May 2024 20:09:01 +0200},
biburl = {https://dblp.org/rec/conf/uai/WickerLPK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-04359,
author = {Ginevra Carbone and
Matthew Wicker and
Luca Laurenti and
Andrea Patane and
Luca Bortolussi and
Guido Sanguinetti},
title = {Robustness of Bayesian Neural Networks to Gradient-Based Attacks},
journal = {CoRR},
volume = {abs/2002.04359},
year = {2020},
url = {https://arxiv.org/abs/2002.04359},
eprinttype = {arXiv},
eprint = {2002.04359},
timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-04359.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-01821,
author = {John Jackson and
Luca Laurenti and
Eric W. Frew and
Morteza Lahijanian},
title = {Safety Verification of Unknown Dynamical Systems via Gaussian Process
Regression},
journal = {CoRR},
volume = {abs/2004.01821},
year = {2020},
url = {https://arxiv.org/abs/2004.01821},
eprinttype = {arXiv},
eprint = {2004.01821},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-01821.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-10281,
author = {Matthew Wicker and
Luca Laurenti and
Andrea Patane and
Marta Kwiatkowska},
title = {Probabilistic Safety for Bayesian Neural Networks},
journal = {CoRR},
volume = {abs/2004.10281},
year = {2020},
url = {https://arxiv.org/abs/2004.10281},
eprinttype = {arXiv},
eprint = {2004.10281},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-10281.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-02004,
author = {Emanuele La Malfa and
Min Wu and
Luca Laurenti and
Benjie Wang and
Anthony Hartshorn and
Marta Kwiatkowska},
title = {Assessing Robustness of Text Classification through Maximal Safe Radius
Computation},
journal = {CoRR},
volume = {abs/2010.02004},
year = {2020},
url = {https://arxiv.org/abs/2010.02004},
eprinttype = {arXiv},
eprint = {2010.02004},
timestamp = {Wed, 22 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-02004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-12640,
author = {Matthew Yuan and
Matthew Wicker and
Luca Laurenti},
title = {Gradient-Free Adversarial Attacks for Bayesian Neural Networks},
journal = {CoRR},
volume = {abs/2012.12640},
year = {2020},
url = {https://arxiv.org/abs/2012.12640},
eprinttype = {arXiv},
eprint = {2012.12640},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-12640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BortolussiCKL19,
author = {Luca Bortolussi and
Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti},
title = {Central Limit Model Checking},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {4},
pages = {19:1--19:35},
year = {2019},
url = {https://doi.org/10.1145/3331452},
doi = {10.1145/3331452},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BortolussiCKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CardelliKLP19,
author = {Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti and
Andrea Patane},
title = {Robustness Guarantees for Bayesian Inference with Gaussian Processes},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {7759--7768},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33017759},
doi = {10.1609/AAAI.V33I01.33017759},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CardelliKLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/WhitbyCKLTT19,
author = {Max Whitby and
Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti and
Mirco Tribastone and
Max Tschaikowski},
title = {{PID} Control of Biochemical Reaction Networks},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {8372--8379},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9029172},
doi = {10.1109/CDC40024.2019.9029172},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/WhitbyCKLTT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CauchiLLAKC19,
author = {Nathalie Cauchi and
Luca Laurenti and
Morteza Lahijanian and
Alessandro Abate and
Marta Kwiatkowska and
Luca Cardelli},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {Efficiency through uncertainty: scalable formal synthesis for stochastic
hybrid systems},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {240--251},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3311805},
doi = {10.1145/3302504.3311805},
timestamp = {Sun, 07 Apr 2019 17:45:27 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/CauchiLLAKC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icstcc/LucaPBIC19,
author = {Laurentiu Luca and
Alina Pricopie and
Marian Barbu and
George Ifrim and
Sergiu Caraman},
title = {Control Strategies of Phosphorus Removal in Wastewater Treatment Plants},
booktitle = {23rd International Conference on System Theory, Control and Computing,
{ICSTCC} 2019, Sinaia, Romania, October 9-11, 2019},
pages = {236--241},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICSTCC.2019.8886023},
doi = {10.1109/ICSTCC.2019.8886023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icstcc/LucaPBIC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CardelliKLPPW19,
author = {Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti and
Nicola Paoletti and
Andrea Patane and
Matthew Wicker},
editor = {Sarit Kraus},
title = {Statistical Guarantees for the Robustness of Bayesian Neural Networks},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {5693--5700},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/789},
doi = {10.24963/IJCAI.2019/789},
timestamp = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CardelliKLPPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-01576,
author = {Nathalie Cauchi and
Luca Laurenti and
Morteza Lahijanian and
Alessandro Abate and
Marta Kwiatkowska and
Luca Cardelli},
title = {Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic
Hybrid Systems},
journal = {CoRR},
volume = {abs/1901.01576},
year = {2019},
url = {http://arxiv.org/abs/1901.01576},
eprinttype = {arXiv},
eprint = {1901.01576},
timestamp = {Thu, 31 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-01576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-01980,
author = {Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti and
Nicola Paoletti and
Andrea Patane and
Matthew Wicker},
title = {Statistical Guarantees for the Robustness of Bayesian Neural Networks},
journal = {CoRR},
volume = {abs/1903.01980},
year = {2019},
url = {http://arxiv.org/abs/1903.01980},
eprinttype = {arXiv},
eprint = {1903.01980},
timestamp = {Sat, 30 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-01980.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-10390,
author = {Max Whitby and
Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti and
Mirco Tribastone and
Max Tschaikowski},
title = {{PID} Control of Biochemical Reaction Networks},
journal = {CoRR},
volume = {abs/1903.10390},
year = {2019},
url = {http://arxiv.org/abs/1903.10390},
eprinttype = {arXiv},
eprint = {1903.10390},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-10390.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-11876,
author = {Arno Blaas and
Luca Laurenti and
Andrea Patane and
Luca Cardelli and
Marta Kwiatkowska and
Stephen J. Roberts},
title = {Robustness Quantification for Classification with Gaussian Processes},
journal = {CoRR},
volume = {abs/1905.11876},
year = {2019},
url = {http://arxiv.org/abs/1905.11876},
eprinttype = {arXiv},
eprint = {1905.11876},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-11876.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-09884,
author = {Rhiannon Michelmore and
Matthew Wicker and
Luca Laurenti and
Luca Cardelli and
Yarin Gal and
Marta Kwiatkowska},
title = {Uncertainty Quantification with Statistical Guarantees in End-to-End
Autonomous Driving Control},
journal = {CoRR},
volume = {abs/1909.09884},
year = {2019},
url = {http://arxiv.org/abs/1909.09884},
eprinttype = {arXiv},
eprint = {1909.09884},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-09884.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-00071,
author = {Kyriakos Polymenakos and
Luca Laurenti and
Andrea Patane and
Jan{-}Peter Calliess and
Luca Cardelli and
Marta Kwiatkowska and
Alessandro Abate and
Stephen J. Roberts},
title = {Safety Guarantees for Planning Based on Iterative Gaussian Processes},
journal = {CoRR},
volume = {abs/1912.00071},
year = {2019},
url = {http://arxiv.org/abs/1912.00071},
eprinttype = {arXiv},
eprint = {1912.00071},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-00071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/CardelliKL18,
author = {Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti},
title = {Programming discrete distributions with chemical reaction networks},
journal = {Nat. Comput.},
volume = {17},
number = {1},
pages = {131--145},
year = {2018},
url = {https://doi.org/10.1007/s11047-017-9667-5},
doi = {10.1007/S11047-017-9667-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/CardelliKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/AbateCKLY18,
author = {Alessandro Abate and
Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti and
Boyan Yordanov},
editor = {Milan Ceska and
David Safr{\'{a}}nek},
title = {Experimental Biological Protocols with Formal Semantics},
booktitle = {Computational Methods in Systems Biology - 16th International Conference,
{CMSB} 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11095},
pages = {165--182},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99429-1\_10},
doi = {10.1007/978-3-319-99429-1\_10},
timestamp = {Wed, 30 Oct 2019 16:34:37 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/AbateCKLY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08744,
author = {Luca Bortolussi and
Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti},
title = {Central Limit Model Checking},
journal = {CoRR},
volume = {abs/1804.08744},
year = {2018},
url = {http://arxiv.org/abs/1804.08744},
eprinttype = {arXiv},
eprint = {1804.08744},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08744.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-06452,
author = {Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti and
Andrea Patane},
title = {Robustness Guarantees for Bayesian Inference with Gaussian Processes},
journal = {CoRR},
volume = {abs/1809.06452},
year = {2018},
url = {http://arxiv.org/abs/1809.06452},
eprinttype = {arXiv},
eprint = {1809.06452},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-06452.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CardelliCFKLPW17,
author = {Luca Cardelli and
Milan Ceska and
Martin Fr{\"{a}}nzle and
Marta Z. Kwiatkowska and
Luca Laurenti and
Nicola Paoletti and
Max Whitby},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Syntax-Guided Optimal Synthesis for Chemical Reaction Networks},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {375--395},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_20},
doi = {10.1007/978-3-319-63390-9\_20},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CardelliCFKLPW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LaurentiABCCK17,
author = {Luca Laurenti and
Alessandro Abate and
Luca Bortolussi and
Luca Cardelli and
Milan Ceska and
Marta Z. Kwiatkowska},
editor = {Goran Frehse and
Sayan Mitra},
title = {Reachability Computation for Switching Diffusions: Finite Abstractions
with Certifiable and Tuneable Precision},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {55--64},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049812},
doi = {10.1145/3049797.3049812},
timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/LaurentiABCCK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-08016,
author = {Alessandro Abate and
Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti and
Boyan Yordanov},
title = {Experimental Biological Protocols with Formal Semantics},
journal = {CoRR},
volume = {abs/1710.08016},
year = {2017},
url = {http://arxiv.org/abs/1710.08016},
eprinttype = {arXiv},
eprint = {1710.08016},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-08016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/CardelliKL16,
author = {Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti},
title = {Stochastic analysis of Chemical Reaction Networks using Linear Noise
Approximation},
journal = {Biosyst.},
volume = {149},
pages = {26--33},
year = {2016},
url = {https://doi.org/10.1016/j.biosystems.2016.09.004},
doi = {10.1016/J.BIOSYSTEMS.2016.09.004},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biosystems/CardelliKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CardelliKL16,
author = {Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti},
editor = {Ezio Bartocci and
Pietro Li{\`{o}} and
Nicola Paoletti},
title = {A Stochastic Hybrid Approximation for Chemical Kinetics Based on the
Linear Noise Approximation},
booktitle = {Computational Methods in Systems Biology - 14th International Conference,
{CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9859},
pages = {147--167},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45177-0\_10},
doi = {10.1007/978-3-319-45177-0\_10},
timestamp = {Sun, 02 Jun 2019 21:13:15 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/CardelliKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/CardelliKL16,
author = {Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti},
editor = {Yannick Rondelez and
Damien Woods},
title = {Programming Discrete Distributions with Chemical Reaction Networks},
booktitle = {{DNA} Computing and Molecular Programming - 22nd International Conference,
{DNA} 22, Munich, Germany, September 4-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9818},
pages = {35--51},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43994-5\_3},
doi = {10.1007/978-3-319-43994-5\_3},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/CardelliKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BortolussiCKL16,
author = {Luca Bortolussi and
Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti},
editor = {Gul Agha and
Benny Van Houdt},
title = {Approximation of Probabilistic Reachability for Chemical Reaction
Networks Using the Linear Noise Approximation},
booktitle = {Quantitative Evaluation of Systems - 13th International Conference,
{QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9826},
pages = {72--88},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4\_5},
doi = {10.1007/978-3-319-43425-4\_5},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BortolussiCKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CardelliKL16,
author = {Luca Cardelli and
Marta Z. Kwiatkowska and
Luca Laurenti},
title = {Programming Discrete Distributions with Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/1601.02578},
year = {2016},
url = {http://arxiv.org/abs/1601.02578},
eprinttype = {arXiv},
eprint = {1601.02578},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CardelliKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CardelliKL15,
author = {Luca Cardelli and
Marta Z. Kwiatkowska and
Luca Laurenti},
editor = {Olivier F. Roux and
J{\'{e}}r{\'{e}}mie Bourdon},
title = {Stochastic Analysis of Chemical Reaction Networks Using Linear Noise
Approximation},
booktitle = {Computational Methods in Systems Biology - 13th International Conference,
{CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9308},
pages = {64--76},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23401-4\_7},
doi = {10.1007/978-3-319-23401-4\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/CardelliKL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LaurentiCK15,
author = {Luca Laurenti and
Luca Cardelli and
Marta Z. Kwiatkowska},
title = {Stochastic Analysis of Chemical Reaction Networks Using Linear Noise
Approximation},
journal = {CoRR},
volume = {abs/1506.07861},
year = {2015},
url = {http://arxiv.org/abs/1506.07861},
eprinttype = {arXiv},
eprint = {1506.07861},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LaurentiCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/ChiusoLSZ14,
author = {Alessandro Chiuso and
Nicola Laurenti and
Luca Schenato and
Andrea Zanella},
title = {LQG-like control of scalar systems over communication channels: The
role of data losses, delays and {SNR} limitations},
journal = {Autom.},
volume = {50},
number = {12},
pages = {3155--3163},
year = {2014},
url = {https://doi.org/10.1016/j.automatica.2014.10.011},
doi = {10.1016/J.AUTOMATICA.2014.10.011},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/ChiusoLSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/VaccaGCLLBECTBZ14,
author = {Marco Vacca and
Mariagrazia Graziano and
Alessandro Chiolerio and
Andrea Lamberti and
Marco Laurenti and
Davide Balma and
Emanuele Enrico and
Federica Celegato and
Paola Tiberto and
Luca Boarino and
Maurizio Zamboni},
editor = {Neal G. Anderson and
Sanjukta Bhanja},
title = {Electric Clock for NanoMagnet Logic Circuits},
booktitle = {Field-Coupled Nanocomputing - Paradigms, Progress, and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {8280},
pages = {73--110},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43722-3\_5},
doi = {10.1007/978-3-662-43722-3\_5},
timestamp = {Sun, 06 Oct 2024 21:42:40 +0200},
biburl = {https://dblp.org/rec/series/lncs/VaccaGCLLBECTBZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ChiusoLSZ13,
author = {Alessandro Chiuso and
Nicola Laurenti and
Luca Schenato and
Andrea Zanella},
title = {{LQG} cheap control over SNR-limited lossy channels with delay},
booktitle = {Proceedings of the 52nd {IEEE} Conference on Decision and Control,
{CDC} 2013, Florence, Italy, December 10-13, 2013},
pages = {3988--3993},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CDC.2013.6760499},
doi = {10.1109/CDC.2013.6760499},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/ChiusoLSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/ChiusoL0Z13,
author = {Alessandro Chiuso and
Nicola Laurenti and
Luca Schenato and
Andrea Zanella},
title = {{LQG} cheap control subject to packet loss and {SNR} limitations},
booktitle = {12th European Control Conference, {ECC} 2013, Zurich, Switzerland,
July 17-19, 2013},
pages = {2374--2379},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.23919/ECC.2013.6669629},
doi = {10.23919/ECC.2013.6669629},
timestamp = {Mon, 30 Sep 2024 15:20:52 +0200},
biburl = {https://dblp.org/rec/conf/eucc/ChiusoL0Z13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/CarliABCCCDDLDDFFFFGHKLOPKMNRRRSSCWW12,
author = {Bruno Carli and
Ginette Aubertin and
Manfred Birk and
Massimo Carlotti and
Elisa Castelli and
Simone Ceccherini and
Livia D'Alba and
Angelika Dehn and
Marta De Laurentis and
Bianca Maria Dinelli and
Anu Dudhia and
Thorsten Fehr and
Herbert Fischer and
Jean{-}Marie Flaud and
Bernd Funke and
Roland Gessner and
Michael Hoepfner and
Michael Kiefer and
Manuel Lopez{-}Puertas and
Hermann Oelhaf and
Gaetan Perron and
Anne Kleinert and
Peter Mosner and
Fabrizio Niro and
Piera Raspollini and
John J. Remedios and
Marco Ridolfi and
Harjinder Sembhi and
Luca Sgheri and
Thomas von Clarmann and
Georg Wagner and
Heidrun Weber},
title = {The global picture of the atmospheric composition provided by {MIPAS}
on Envisat},
booktitle = {2012 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2012, Munich, Germany, July 22-27, 2012},
pages = {1860--1863},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IGARSS.2012.6351144},
doi = {10.1109/IGARSS.2012.6351144},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/igarss/CarliABCCCDDLDDFFFFGHKLOPKMNRRRSSCWW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/PierdiccaPBTL09,
author = {Nazzareno Pierdicca and
Luca Pulvirenti and
Christian Bignami and
Francesca Ticconi and
Marco Laurenti},
title = {High Resolution Mapping of Soil Moisture by {SAR:} Data Integration
and Exploitation of Prior Information},
booktitle = {{IEEE} International Geoscience {\&} Remote Sensing Symposium,
{IGARSS} 2009, July 12-17, 2009, University of Cape Town, Cape Town,
South Africa, Proceedings},
pages = {960--963},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/IGARSS.2009.5417538},
doi = {10.1109/IGARSS.2009.5417538},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/igarss/PierdiccaPBTL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-0519,
author = {Tiberiu Marius Karnyanszky and
Dan Laurentiu Lacrama and
Lucian Luca and
Ioana Iacob},
title = {Teacher's Evaluation - a Component of Quality Assessment System},
journal = {CoRR},
volume = {abs/0903.0519},
year = {2009},
url = {http://arxiv.org/abs/0903.0519},
eprinttype = {arXiv},
eprint = {0903.0519},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-0519.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-10-19 17:46 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
