Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alessandro Abate
@inproceedings{DBLP:conf/aaai/DebaucheEJA24,
author = {Virginie Debauche and
Alec Edwards and
Rapha{\"{e}}l M. Jungers and
Alessandro Abate},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Stability Analysis of Switched Linear Systems with Neural Lyapunov
Functions},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {21010--21018},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i19.30092},
doi = {10.1609/AAAI.V38I19.30092},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DebaucheEJA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MittaH0KKA24,
author = {Rohan Mitta and
Hosein Hasanbeig and
Jun Wang and
Daniel Kroening and
Yiannis Kantaros and
Alessandro Abate},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration
for Control Policy Synthesis},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {21412--21419},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i19.30137},
doi = {10.1609/AAAI.V38I19.30137},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MittaH0KKA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HammondFECAW24,
author = {Lewis Hammond and
James Fox and
Tom Everitt and
Ryan Carey and
Alessandro Abate and
Michael J. Wooldridge},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Reasoning about Causality in Games (Abstract Reprint)},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {22697},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i20.30597},
doi = {10.1609/AAAI.V38I20.30597},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HammondFECAW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-14811,
author = {Joar Skalse and
Alessandro Abate},
title = {On the Limitations of Markovian Rewards to Express Multi-Objective,
Risk-Sensitive, and Modal Tasks},
journal = {CoRR},
volume = {abs/2401.14811},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.14811},
doi = {10.48550/ARXIV.2401.14811},
eprinttype = {arXiv},
eprint = {2401.14811},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-14811.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-15838,
author = {Alexandros E. Tzikas and
Licio Romao and
Mert Pilanci and
Alessandro Abate and
Mykel J. Kochenderfer},
title = {Distributed Markov Chain Monte Carlo Sampling based on the Alternating
Direction Method of Multipliers},
journal = {CoRR},
volume = {abs/2401.15838},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.15838},
doi = {10.48550/ARXIV.2401.15838},
eprinttype = {arXiv},
eprint = {2401.15838},
timestamp = {Thu, 08 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-15838.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-06854,
author = {Joar Skalse and
Alessandro Abate},
title = {Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification},
journal = {CoRR},
volume = {abs/2403.06854},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.06854},
doi = {10.48550/ARXIV.2403.06854},
eprinttype = {arXiv},
eprint = {2403.06854},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-06854.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HammondFECAW23,
author = {Lewis Hammond and
James Fox and
Tom Everitt and
Ryan Carey and
Alessandro Abate and
Michael J. Wooldridge},
title = {Reasoning about causality in games},
journal = {Artif. Intell.},
volume = {320},
pages = {103919},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2023.103919},
doi = {10.1016/J.ARTINT.2023.103919},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/HammondFECAW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HasanbeigKA23,
author = {Hosein Hasanbeig and
Daniel Kroening and
Alessandro Abate},
title = {Certified reinforcement learning with logic guidance},
journal = {Artif. Intell.},
volume = {322},
pages = {103949},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2023.103949},
doi = {10.1016/J.ARTINT.2023.103949},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/HasanbeigKA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BadingsRAPPSJ23,
author = {Thom S. Badings and
Licio Romao and
Alessandro Abate and
David Parker and
Hasan A. Poonawala and
Mari{\"{e}}lle Stoelinga and
Nils Jansen},
title = {Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal
Abstractions},
journal = {J. Artif. Intell. Res.},
volume = {76},
pages = {341--391},
year = {2023},
url = {https://doi.org/10.1613/jair.1.14253},
doi = {10.1613/JAIR.1.14253},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/BadingsRAPPSJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AbateBBDKKPRT23,
author = {Alessandro Abate and
Haniel Barbosa and
Clark W. Barrett and
Cristina David and
Pascal Kesseli and
Daniel Kroening and
Elizabeth Polgreen and
Andrew Reynolds and
Cesare Tinelli},
title = {Synthesising Programs with Non-trivial Constants},
journal = {J. Autom. Reason.},
volume = {67},
number = {2},
pages = {19},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09664-4},
doi = {10.1007/S10817-023-09664-4},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AbateBBDKKPRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/CosentinoOA23,
author = {Francesco Cosentino and
Harald Oberhauser and
Alessandro Abate},
title = {Grid-Free Computation of Probabilistic Safety With Malliavin Calculus},
journal = {{IEEE} Trans. Autom. Control.},
volume = {68},
number = {10},
pages = {6369--6376},
year = {2023},
url = {https://doi.org/10.1109/TAC.2023.3239460},
doi = {10.1109/TAC.2023.3239460},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/CosentinoOA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/AbateM23,
author = {Alessandro Abate and
Andrea Marin},
title = {Introduction to the Special Issue on {QEST} 2021},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {33},
number = {4},
pages = {13:1--13:2},
year = {2023},
url = {https://doi.org/10.1145/3631707},
doi = {10.1145/3631707},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/AbateM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JeenAC23,
author = {Scott R. Jeen and
Alessandro Abate and
Jonathan M. Cullen},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Low Emission Building Control with Zero-Shot Reinforcement Learning},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {14259--14267},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i12.26668},
doi = {10.1609/AAAI.V37I12.26668},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/JeenAC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BadingsRA023,
author = {Thom S. Badings and
Licio Romao and
Alessandro Abate and
Nils Jansen},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic
Dynamical Models with Epistemic Uncertainty},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {14701--14710},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i12.26718},
doi = {10.1609/AAAI.V37I12.26718},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BadingsRA023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SkalseA23,
author = {Joar Skalse and
Alessandro Abate},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Misspecification in Inverse Reinforcement Learning},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {15136--15143},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i12.26766},
doi = {10.1609/AAAI.V37I12.26766},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SkalseA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LeeHAEG0HW23,
author = {Wei{-}Chen Lee and
David Hyland and
Alessandro Abate and
Edith Elkind and
Jiarui Gan and
Julian Gutierrez and
Paul Harrenstein and
Michael J. Wooldridge},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {k-Prize Weighted Voting Game},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {2049--2057},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598878},
doi = {10.5555/3545946.3598878},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/LeeHAEG0HW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/RomaoHA23,
author = {Licio Romao and
Ashish R. Hota and
Alessandro Abate},
title = {Distributionally Robust Optimal and Safe Control of Stochastic Systems
via Kernel Conditional Mean Embedding},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {2016--2021},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10383997},
doi = {10.1109/CDC49753.2023.10383997},
timestamp = {Mon, 29 Jan 2024 17:30:32 +0100},
biburl = {https://dblp.org/rec/conf/cdc/RomaoHA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/EngelaarRGLAH23,
author = {Maico Hendrikus Wilhelmus Engelaar and
Licio Romao and
Yulong Gao and
Mircea Lazar and
Alessandro Abate and
Sofie Haesaert},
title = {Abstracting Linear Stochastic Systems via Knowledge Filtering},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {3049--3054},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10383450},
doi = {10.1109/CDC49753.2023.10383450},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/EngelaarRGLAH23.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, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/MathiesenRCAL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BanseRAJ23,
author = {Adrien Banse and
Licio Romao and
Alessandro Abate and
Rapha{\"{e}}l M. Jungers},
title = {Data-driven Abstractions via Adaptive Refinements and a Kantorovich
Metric},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {6038--6043},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10383513},
doi = {10.1109/CDC49753.2023.10383513},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/BanseRAJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/MukhiA23,
author = {Karan Mukhi and
Alessandro Abate},
title = {An Exact Characterisation of Flexibility in Populations of Electric
Vehicles},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {6582--6587},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10383521},
doi = {10.1109/CDC49753.2023.10383521},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/MukhiA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AbateEGPR23,
author = {Alessandro Abate and
Alec Edwards and
Mirco Giacobbe and
Hashan Punchihewa and
Diptarko Roy},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Quantitative Verification with Neural Networks},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {22:1--22:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.22},
doi = {10.4230/LIPICS.CONCUR.2023.22},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/AbateEGPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AbateAFHW23,
author = {Alessandro Abate and
Yousif Almulla and
James Fox and
David Hyland and
Michael J. Wooldridge},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Learning Task Automata for Reinforcement Learning Using Hidden Markov
Models},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {3--10},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230247},
doi = {10.3233/FAIA230247},
timestamp = {Wed, 18 Oct 2023 09:31:16 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AbateAFHW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/SkalseF0AG23,
author = {Joar Max Viktor Skalse and
Matthew Farrugia{-}Roberts and
Stuart Russell and
Alessandro Abate and
Adam Gleave},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {Invariance in Policy Optimisation and Partial Identifiability in Reward
Learning},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {32033--32058},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/skalse23a.html},
timestamp = {Mon, 28 Aug 2023 17:23:08 +0200},
biburl = {https://dblp.org/rec/conf/icml/SkalseF0AG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/BanseRAJ23,
author = {Adrien Banse and
Licio Romao and
Alessandro Abate and
Rapha{\"{e}}l M. Jungers},
editor = {Nikolai Matni and
Manfred Morari and
George J. Pappas},
title = {Data-driven memory-dependent abstractions of dynamical systems},
booktitle = {Learning for Dynamics and Control Conference, {L4DC} 2023, 15-16 June
2023, Philadelphia, PA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {211},
pages = {891--902},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v211/banse23a.html},
timestamp = {Fri, 16 Jun 2023 14:48:17 +0200},
biburl = {https://dblp.org/rec/conf/l4dc/BanseRAJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/WangGWZAJ23,
author = {Zifan Wang and
Yulong Gao and
Siyi Wang and
Michael M. Zavlanos and
Alessandro Abate and
Karl Henrik Johansson},
editor = {Nikolai Matni and
Manfred Morari and
George J. Pappas},
title = {Policy Evaluation in Distributional {LQR}},
booktitle = {Learning for Dynamics and Control Conference, {L4DC} 2023, 15-16 June
2023, Philadelphia, PA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {211},
pages = {1245--1256},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v211/wang23c.html},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/l4dc/WangGWZAJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/RickardBRA23,
author = {Luke Rickard and
Thom S. Badings and
Licio Romao and
Alessandro Abate},
editor = {Nils Jansen and
Mirco Tribastone},
title = {Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain
Dynamics},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {10--29},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_2},
doi = {10.1007/978-3-031-43835-6\_2},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/RickardBRA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/EdwardsGA23,
author = {Alec Edwards and
Mirco Giacobbe and
Alessandro Abate},
editor = {Nils Jansen and
Mirco Tribastone},
title = {On the Trade-Off Between Efficiency and Precision of Neural Abstraction},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {152--171},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_12},
doi = {10.1007/978-3-031-43835-6\_12},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/EdwardsGA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/SkalseA23,
author = {Joar Skalse and
Alessandro Abate},
editor = {Robin J. Evans and
Ilya Shpitser},
title = {On the limitations of Markovian rewards to express multi-objective,
risk-sensitive, and modal tasks},
booktitle = {Uncertainty in Artificial Intelligence, {UAI} 2023, July 31 - 4 August
2023, Pittsburgh, PA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {216},
pages = {1974--1984},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v216/skalse23a.html},
timestamp = {Mon, 28 Aug 2023 17:23:08 +0200},
biburl = {https://dblp.org/rec/conf/uai/SkalseA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09786,
author = {Thom S. Badings and
Nils Jansen and
Licio Romao and
Alessandro Abate},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Correct-by-Construction Control for Stochastic and Uncertain Dynamical
Models via Formal Abstractions},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {144--152},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.10},
doi = {10.4204/EPTCS.395.10},
timestamp = {Fri, 22 Dec 2023 16:43:30 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09786.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2307-05059,
author = {James Fox and
Matt MacDermott and
Lewis Hammond and
Paul Harrenstein and
Alessandro Abate and
Michael J. Wooldridge},
editor = {Rineke Verbrugge},
title = {On Imperfect Recall in Multi-Agent Influence Diagrams},
booktitle = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
series = {{EPTCS}},
volume = {379},
pages = {201--220},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.379.17},
doi = {10.4204/EPTCS.379.17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-01526,
author = {Thom S. Badings and
Licio Romao and
Alessandro Abate and
David Parker and
Hasan A. Poonawala and
Mari{\"{e}}lle Stoelinga and
Nils Jansen},
title = {Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal
Abstractions},
journal = {CoRR},
volume = {abs/2301.01526},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.01526},
doi = {10.48550/ARXIV.2301.01526},
eprinttype = {arXiv},
eprint = {2301.01526},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-01526.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-02324,
author = {Lewis Hammond and
James Fox and
Tom Everitt and
Ryan Carey and
Alessandro Abate and
Michael J. Wooldridge},
title = {Reasoning about Causality in Games},
journal = {CoRR},
volume = {abs/2301.02324},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.02324},
doi = {10.48550/ARXIV.2301.02324},
eprinttype = {arXiv},
eprint = {2301.02324},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-02324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-06136,
author = {Alessandro Abate and
Alec Edwards and
Mirco Giacobbe and
Hashan Punchihewa and
Diptarko Roy},
title = {Quantitative Verification With Neural Networks For Probabilistic Programs
and Stochastic Systems},
journal = {CoRR},
volume = {abs/2301.06136},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.06136},
doi = {10.48550/ARXIV.2301.06136},
eprinttype = {arXiv},
eprint = {2301.06136},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-06136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-11683,
author = {Alessandro Abate and
Alec Edwards and
Mirco Giacobbe},
title = {Neural Abstractions},
journal = {CoRR},
volume = {abs/2301.11683},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.11683},
doi = {10.48550/ARXIV.2301.11683},
eprinttype = {arXiv},
eprint = {2301.11683},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-11683.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-13888,
author = {Wei{-}Chen Lee and
David Hyland and
Alessandro Abate and
Edith Elkind and
Jiarui Gan and
Julian Gutierrez and
Paul Harrenstein and
Michael J. Wooldridge},
title = {k-Prize Weighted Voting Games},
journal = {CoRR},
volume = {abs/2302.13888},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.13888},
doi = {10.48550/ARXIV.2302.13888},
eprinttype = {arXiv},
eprint = {2302.13888},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-13888.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-13657,
author = {Zifan Wang and
Yulong Gao and
Siyi Wang and
Michael M. Zavlanos and
Alessandro Abate and
Karl Henrik Johansson},
title = {Policy Evaluation in Distributional {LQR}},
journal = {CoRR},
volume = {abs/2303.13657},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.13657},
doi = {10.48550/ARXIV.2303.13657},
eprinttype = {arXiv},
eprint = {2303.13657},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-13657.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-17618,
author = {Adrien Banse and
Licio Romao and
Alessandro Abate and
Rapha{\"{e}}l M. Jungers},
title = {Data-driven abstractions via adaptive refinements and a Kantorovich
metric [extended version]},
journal = {CoRR},
volume = {abs/2303.17618},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.17618},
doi = {10.48550/ARXIV.2303.17618},
eprinttype = {arXiv},
eprint = {2303.17618},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-17618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-00644,
author = {Licio Romao and
Ashish R. Hota and
Alessandro Abate},
title = {Distributionally Robust Optimal and Safe Control of Stochastic Systems
via Kernel Conditional Mean Embedding},
journal = {CoRR},
volume = {abs/2304.00644},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.00644},
doi = {10.48550/ARXIV.2304.00644},
eprinttype = {arXiv},
eprint = {2304.00644},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-00644.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-05105,
author = {Yulong Gao and
Shuhao Yan and
Jian Zhou and
Mark Cannon and
Alessandro Abate and
Karl Henrik Johansson},
title = {Robust Tube Model Predictive Control with Uncertainty Quantification
for Discrete-Time Linear Systems},
journal = {CoRR},
volume = {abs/2304.05105},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.05105},
doi = {10.48550/ARXIV.2304.05105},
eprinttype = {arXiv},
eprint = {2304.05105},
timestamp = {Thu, 20 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-05105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-05770,
author = {Maico Hendrikus Wilhelmus Engelaar and
Licio Romao and
Yulong Gao and
Mircea Lazar and
Alessandro Abate and
Sofie Haesaert},
title = {Model Reduction of Linear Stochastic Systems with Preservation of
sc-LTL Specifications},
journal = {CoRR},
volume = {abs/2304.05770},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.05770},
doi = {10.48550/ARXIV.2304.05770},
eprinttype = {arXiv},
eprint = {2304.05770},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-05770.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-02766,
author = {Patrick Benjamin and
Alessandro Abate},
title = {Networked Communication for Decentralised Agents in Mean-Field Games},
journal = {CoRR},
volume = {abs/2306.02766},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.02766},
doi = {10.48550/ARXIV.2306.02766},
eprinttype = {arXiv},
eprint = {2306.02766},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-02766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-16824,
author = {Karan Mukhi and
Alessandro Abate},
title = {An Exact Characterisation of Flexibility in Populations of Electric
Vehicles},
journal = {CoRR},
volume = {abs/2306.16824},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.16824},
doi = {10.48550/ARXIV.2306.16824},
eprinttype = {arXiv},
eprint = {2306.16824},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-16824.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-15546,
author = {Alec Edwards and
Mirco Giacobbe and
Alessandro Abate},
title = {On the Trade-off Between Efficiency and Precision of Neural Abstraction},
journal = {CoRR},
volume = {abs/2307.15546},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.15546},
doi = {10.48550/ARXIV.2307.15546},
eprinttype = {arXiv},
eprint = {2307.15546},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-15546.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-10587,
author = {Muhammad Syifa'ul Mufid and
Andrea Micheli and
Alessandro Abate and
Alessandro Cimatti},
title = {Formal Analysis and Verification of Max-Plus Linear Systems},
journal = {CoRR},
volume = {abs/2308.10587},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.10587},
doi = {10.48550/ARXIV.2308.10587},
eprinttype = {arXiv},
eprint = {2308.10587},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-10587.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-06090,
author = {Alec Edwards and
Andrea Peruffo and
Alessandro Abate},
title = {A General Verification Framework for Dynamical and Control Models
via Certificate Synthesis},
journal = {CoRR},
volume = {abs/2309.06090},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.06090},
doi = {10.48550/ARXIV.2309.06090},
eprinttype = {arXiv},
eprint = {2309.06090},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-06090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-15257,
author = {Joar Skalse and
Lucy Farnik and
Sumeet Ramesh Motwani and
Erik Jenner and
Adam Gleave and
Alessandro Abate},
title = {{STARC:} {A} General Framework For Quantifying Differences Between
Reward Functions},
journal = {CoRR},
volume = {abs/2309.15257},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.15257},
doi = {10.48550/ARXIV.2309.15257},
eprinttype = {arXiv},
eprint = {2309.15257},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-15257.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 = {Thu, 19 Oct 2023 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/corr/abs-2311-09793,
author = {Alec Edwards and
Andrea Peruffo and
Alessandro Abate},
title = {Fossil 2.0: Formal Certificate Synthesis for the Verification and
Control of Dynamical Models},
journal = {CoRR},
volume = {abs/2311.09793},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.09793},
doi = {10.48550/ARXIV.2311.09793},
eprinttype = {arXiv},
eprint = {2311.09793},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09793.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-06344,
author = {Luke Rickard and
Alessandro Abate and
Kostas Margellos},
title = {Learning Robust Policies for Uncertain Parametric Markov Decision
Processes},
journal = {CoRR},
volume = {abs/2312.06344},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.06344},
doi = {10.48550/ARXIV.2312.06344},
eprinttype = {arXiv},
eprint = {2312.06344},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-06344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-11314,
author = {Rohan Mitta and
Hosein Hasanbeig and
Jun Wang and
Daniel Kroening and
Yiannis Kantaros and
Alessandro Abate},
title = {Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration
for Control Policy Synthesis},
journal = {CoRR},
volume = {abs/2312.11314},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.11314},
doi = {10.48550/ARXIV.2312.11314},
eprinttype = {arXiv},
eprint = {2312.11314},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-11314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/LavaeiSAZ22,
author = {Abolfazl Lavaei and
Sadegh Soudjani and
Alessandro Abate and
Majid Zamani},
title = {Automated verification and synthesis of stochastic hybrid systems:
{A} survey},
journal = {Autom.},
volume = {146},
pages = {110617},
year = {2022},
url = {https://doi.org/10.1016/j.automatica.2022.110617},
doi = {10.1016/J.AUTOMATICA.2022.110617},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/LavaeiSAZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MadaryMAL22,
author = {Ahmad Madary and
Hamid Reza Momeni and
Alessandro Abate and
Kim G. Larsen},
title = {Hierarchical identification of nonlinear hybrid systems in a Bayesian
framework},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104947},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104947},
doi = {10.1016/J.IC.2022.104947},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MadaryMAL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GerettiANV22,
author = {Luca Geretti and
Alessandro Abate and
Pierluigi Nuzzo and
Tiziano Villa},
title = {Special issue: Formal verification of cyber-physical systems},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104979},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104979},
doi = {10.1016/J.IC.2022.104979},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/GerettiANV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/AbateFF22,
author = {Alessandro Abate and
Uli Fahrenberg and
Martin Fr{\"{a}}nzle},
title = {Introduction to the Special Issue on Distributed Hybrid Systems},
journal = {Leibniz Trans. Embed. Syst.},
volume = {8},
number = {2},
pages = {00:1--00:3},
year = {2022},
url = {https://doi.org/10.4230/LITES.8.2.0},
doi = {10.4230/LITES.8.2.0},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lites/AbateFF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/MufidAA22,
author = {Muhammad Syifa'ul Mufid and
Dieky Adzkiya and
Alessandro Abate},
title = {SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus
Linear Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {6},
pages = {2700--2714},
year = {2022},
url = {https://doi.org/10.1109/TAC.2021.3090525},
doi = {10.1109/TAC.2021.3090525},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/MufidAA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/GaoAJGXJ22,
author = {Yulong Gao and
Alessandro Abate and
Frank J. Jiang and
Mirco Giacobbe and
Lihua Xie and
Karl Henrik Johansson},
title = {Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain
Discrete-Time Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {10},
pages = {5071--5086},
year = {2022},
url = {https://doi.org/10.1109/TAC.2021.3118335},
doi = {10.1109/TAC.2021.3118335},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/GaoAJGXJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BadingsA00PS22,
author = {Thom S. Badings and
Alessandro Abate and
Nils Jansen and
David Parker and
Hasan A. Poonawala and
Mari{\"{e}}lle Stoelinga},
title = {Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian
Noise},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {9669--9678},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21201},
doi = {10.1609/AAAI.V36I9.21201},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BadingsA00PS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SkalseHGA22,
author = {Joar Skalse and
Lewis Hammond and
Charlie Griffin and
Alessandro Abate},
editor = {Luc De Raedt},
title = {Lexicographic Multi-Objective Reinforcement Learning},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {3430--3436},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/476},
doi = {10.24963/IJCAI.2022/476},
timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SkalseHGA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/AbateEG22,
author = {Alessandro Abate and
Alec Edwards and
Mirco Giacobbe},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Neural Abstractions},
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/a922b7121007768f78f770c404415375-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/AbateEG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HasanbeigKA22,
author = {Mohammadhosein Hasanbeig and
Daniel Kroening and
Alessandro Abate},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marco Paolieri},
title = {{LCRL:} Certified Policy Synthesis via Logically-Constrained Reinforcement
Learning},
booktitle = {Quantitative Evaluation of Systems - 19th International Conference,
{QEST} 2022, Warsaw, Poland, September 12-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13479},
pages = {217--231},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16336-4\_11},
doi = {10.1007/978-3-031-16336-4\_11},
timestamp = {Tue, 21 Mar 2023 20:54:44 +0100},
biburl = {https://dblp.org/rec/conf/qest/HasanbeigKA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-07475,
author = {Joar Skalse and
Matthew Farrugia{-}Roberts and
Stuart Russell and
Alessandro Abate and
Adam Gleave},
title = {Invariance in Policy Optimisation and Partial Identifiability in Reward
Learning},
journal = {CoRR},
volume = {abs/2203.07475},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.07475},
doi = {10.48550/ARXIV.2203.07475},
eprinttype = {arXiv},
eprint = {2203.07475},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-07475.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-11838,
author = {Alessandro Abate and
Yousif Almulla and
James Fox and
David Hyland and
Michael J. Wooldridge},
title = {Learning Task Automata for Reinforcement Learning using Hidden Markov
Models},
journal = {CoRR},
volume = {abs/2208.11838},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.11838},
doi = {10.48550/ARXIV.2208.11838},
eprinttype = {arXiv},
eprint = {2208.11838},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-11838.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-10341,
author = {Hosein Hasanbeig and
Daniel Kroening and
Alessandro Abate},
title = {{LCRL:} Certified Policy Synthesis via Logically-Constrained Reinforcement
Learning},
journal = {CoRR},
volume = {abs/2209.10341},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.10341},
doi = {10.48550/ARXIV.2209.10341},
eprinttype = {arXiv},
eprint = {2209.10341},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10341.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-15320,
author = {Daniel Jarne Ornia and
Licio Romao and
Lewis Hammond and
Manuel Mazo Jr. and
Alessandro Abate},
title = {Observational Robustness and Invariances in Reinforcement Learning
via Lexicographic Objectives},
journal = {CoRR},
volume = {abs/2209.15320},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.15320},
doi = {10.48550/ARXIV.2209.15320},
eprinttype = {arXiv},
eprint = {2209.15320},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-15320.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-05989,
author = {Thom S. Badings and
Licio Romao and
Alessandro Abate and
Nils Jansen},
title = {Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic
Dynamical Models with Epistemic Uncertainty},
journal = {CoRR},
volume = {abs/2210.05989},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.05989},
doi = {10.48550/ARXIV.2210.05989},
eprinttype = {arXiv},
eprint = {2210.05989},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-05989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-00679,
author = {Luke Rickard and
Thom S. Badings and
Licio Romao and
Nils Jansen and
Alessandro Abate},
title = {Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain
Dynamics},
journal = {CoRR},
volume = {abs/2212.00679},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.00679},
doi = {10.48550/ARXIV.2212.00679},
eprinttype = {arXiv},
eprint = {2212.00679},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-00679.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-01926,
author = {Adrien Banse and
Licio Romao and
Alessandro Abate and
Rapha{\"{e}}l M. Jungers},
title = {Data-driven memory-dependent abstractions of dynamical systems},
journal = {CoRR},
volume = {abs/2212.01926},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.01926},
doi = {10.48550/ARXIV.2212.01926},
eprinttype = {arXiv},
eprint = {2212.01926},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-01926.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-03201,
author = {Joar Skalse and
Alessandro Abate},
title = {Misspecification in Inverse Reinforcement Learning},
journal = {CoRR},
volume = {abs/2212.03201},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.03201},
doi = {10.48550/ARXIV.2212.03201},
eprinttype = {arXiv},
eprint = {2212.03201},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-03201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-13769,
author = {Joar Skalse and
Lewis Hammond and
Charlie Griffin and
Alessandro Abate},
title = {Lexicographic Multi-Objective Reinforcement Learning},
journal = {CoRR},
volume = {abs/2212.13769},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.13769},
doi = {10.48550/ARXIV.2212.13769},
eprinttype = {arXiv},
eprint = {2212.13769},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-13769.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/AbateGHHKNPSW21,
author = {Alessandro Abate and
Julian Gutierrez and
Lewis Hammond and
Paul Harrenstein and
Marta Kwiatkowska and
Muhammad Najib and
Giuseppe Perelli and
Thomas Steeples and
Michael J. Wooldridge},
title = {Rational verification: game-theoretic verification of multi-agent
systems},
journal = {Appl. Intell.},
volume = {51},
number = {9},
pages = {6569--6584},
year = {2021},
url = {https://doi.org/10.1007/s10489-021-02658-y},
doi = {10.1007/S10489-021-02658-Y},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apin/AbateGHHKNPSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/AbateAGP21,
author = {Alessandro Abate and
Daniele Ahmed and
Mirco Giacobbe and
Andrea Peruffo},
title = {Formal Synthesis of Lyapunov Neural Networks},
journal = {{IEEE} Control. Syst. Lett.},
volume = {5},
number = {3},
pages = {773--778},
year = {2021},
url = {https://doi.org/10.1109/LCSYS.2020.3005328},
doi = {10.1109/LCSYS.2020.3005328},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/AbateAGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CattaruzzaASK21,
author = {Dario Cattaruzza and
Alessandro Abate and
Peter Schrammel and
Daniel Kroening},
title = {Unbounded-Time Safety Verification of Guarded {LTI} Models with Inputs
by Abstract Acceleration},
journal = {J. Autom. Reason.},
volume = {65},
number = {2},
pages = {157--203},
year = {2021},
url = {https://doi.org/10.1007/s10817-020-09562-z},
doi = {10.1007/S10817-020-09562-Z},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/CattaruzzaASK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/NiaKA21,
author = {Mehran Alidoost Nia and
Mehdi Kargahi and
Alessandro Abate},
title = {Resilient monitoring in self-adaptive systems through behavioral parameter
estimation},
journal = {J. Syst. Archit.},
volume = {118},
pages = {102177},
year = {2021},
url = {https://doi.org/10.1016/j.sysarc.2021.102177},
doi = {10.1016/J.SYSARC.2021.102177},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/NiaKA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/AbateACK21,
author = {Alessandro Abate and
Roman Andriushchenko and
Milan Ceska and
Marta Kwiatkowska},
title = {Adaptive formal approximations of Markov chains},
journal = {Perform. Evaluation},
volume = {148},
pages = {102207},
year = {2021},
url = {https://doi.org/10.1016/j.peva.2021.102207},
doi = {10.1016/J.PEVA.2021.102207},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/AbateACK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/CaiHXAK21,
author = {Mingyu Cai and
Mohammadhosein Hasanbeig and
Shaoping Xiao and
Alessandro Abate and
Zhen Kan},
title = {Modular Deep Reinforcement Learning for Continuous Motion Planning
With Temporal Logic},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {6},
number = {4},
pages = {7973--7980},
year = {2021},
url = {https://doi.org/10.1109/lra.2021.3101544},
doi = {10.1109/LRA.2021.3101544},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/CaiHXAK21.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}
}
@article{DBLP:journals/tac/HaesaertCAW21,
author = {Sofie Haesaert and
Fei Chen and
Alessandro Abate and
Siep Weiland},
title = {Formal Control Synthesis via Simulation Relations and Behavioral Theory
for Discrete-Time Descriptor Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {66},
number = {3},
pages = {1024--1039},
year = {2021},
url = {https://doi.org/10.1109/TAC.2020.2992443},
doi = {10.1109/TAC.2020.2992443},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/HaesaertCAW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/PeruffoGPA21,
author = {Andrea Peruffo and
Emeline Guiu and
Patrick Panciatici and
Alessandro Abate},
title = {Aggregation and Control of a Heterogeneous Population of Solar Panels
Over the Grid Frequency},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {29},
number = {4},
pages = {1420--1436},
year = {2021},
url = {https://doi.org/10.1109/TCST.2020.3018475},
doi = {10.1109/TCST.2020.3018475},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/PeruffoGPA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HasanbeigJAMK21,
author = {Mohammadhosein Hasanbeig and
Natasha Yogananda Jeppu and
Alessandro Abate and
Tom Melham and
Daniel Kroening},
title = {DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep
Reinforcement Learning},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {7647--7656},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i9.16935},
doi = {10.1609/AAAI.V35I9.16935},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HasanbeigJAMK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MadaryMAL21,
author = {Ahmad Madary and
Hamid Reza Momeni and
Alessandro Abate and
Kim G. Larsen},
editor = {Rapha{\"{e}}l M. Jungers and
Necmiye Ozay and
Alessandro Abate},
title = {A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid
Systems},
booktitle = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2021, Brussels, Belgium, July 7-9, 2021},
series = {IFAC-PapersOnLine},
volume = {54},
number = {5},
pages = {259--264},
publisher = {Elsevier},
year = {2021},
url = {https://doi.org/10.1016/j.ifacol.2021.08.508},
doi = {10.1016/J.IFACOL.2021.08.508},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/MadaryMAL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/AbateBBCCDHHKLM21,
author = {Alessandro Abate and
Henk A. P. Blom and
Marc Bouissou and
Nathalie Cauchi and
Hassane Chraibi and
Joanna Delicaris and
Sofie Haesaert and
Arnd Hartmanns and
Mahmoud Khaled and
Abolfazl Lavaei and
Hao Ma and
Kaushik Mallik and
Mathis Niehage and
Anne Remke and
Stefan Schupp and
Fedor Shmarov and
Sadegh Soudjani and
Adam Thorpe and
Vlad Turcuman and
Paolo Zuliani},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP21} Category Report: Stochastic Models},
booktitle = {8th International Workshop on Applied Verification of Continuous and
Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021},
series = {EPiC Series in Computing},
volume = {80},
pages = {55--89},
publisher = {EasyChair},
year = {2021},
url = {https://doi.org/10.29007/dprv},
doi = {10.29007/DPRV},
timestamp = {Sat, 11 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arch/AbateBBCCDHHKLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HammondFEAW21,
author = {Lewis Hammond and
James Fox and
Tom Everitt and
Alessandro Abate and
Michael J. Wooldridge},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory
and Practice},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {574--582},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p574.pdf},
doi = {10.5555/3463952.3464023},
timestamp = {Wed, 20 Jul 2022 17:03:47 +0200},
biburl = {https://dblp.org/rec/conf/atal/HammondFEAW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HammondA0W21,
author = {Lewis Hammond and
Alessandro Abate and
Julian Gutierrez and
Michael J. Wooldridge},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {Multi-Agent Reinforcement Learning with Temporal Logic Specifications},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {583--592},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p583.pdf},
doi = {10.5555/3463952.3464024},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/HammondA0W21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbateGR20,
author = {Alessandro Abate and
Mirco Giacobbe and
Diptarko Roy},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Learning Probabilistic Termination Proofs},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {3--26},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_1},
doi = {10.1007/978-3-030-81688-9\_1},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AbateGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MufidMAC21,
author = {Muhammad Syifa'ul Mufid and
Andrea Micheli and
Alessandro Abate and
Alessandro Cimatti},
editor = {Serge Haddad and
Daniele Varacca},
title = {SMT-Based Model Checking of Max-Plus Linear Systems},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {22:1--22:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.22},
doi = {10.4230/LIPICS.CONCUR.2021.22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/MufidMAC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/PeruffoA21,
author = {Andrea Peruffo and
Alessandro Abate},
editor = {Catalin Dima and
Mahsa Shirmohammadi},
title = {Formal Abstraction and Synthesis of Parametric Stochastic Processes},
booktitle = {Formal Modeling and Analysis of Timed Systems - 19th International
Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12860},
pages = {135--153},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85037-1\_9},
doi = {10.1007/978-3-030-85037-1\_9},
timestamp = {Tue, 17 Aug 2021 21:08:55 +0200},
biburl = {https://dblp.org/rec/conf/formats/PeruffoA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/AbateAEGP21,
author = {Alessandro Abate and
Daniele Ahmed and
Alec Edwards and
Mirco Giacobbe and
Andrea Peruffo},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {A Software Tool for the Formal Synthesis of Lyapunov Functions and
Barrier Certificates using Neural Networks},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {73--75},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:43 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/AbateAEGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AbateAEGP21,
author = {Alessandro Abate and
Daniele Ahmed and
Alec Edwards and
Mirco Giacobbe and
Andrea Peruffo},
editor = {Sergiy Bogomolov and
Rapha{\"{e}}l M. Jungers},
title = {{FOSSIL:} a software tool for the formal synthesis of lyapunov functions
and barrier certificates using neural networks},
booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems:
Computation and Control, Nashville, Tennessee, May 19-21, 2021},
pages = {24:1--24:11},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447928.3456646},
doi = {10.1145/3447928.3456646},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AbateAEGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scipy/FoxECLAW21,
author = {James Fox and
Tom Everitt and
Ryan Carey and
Eric D. Langlois and
Alessandro Abate and
Michael J. Wooldridge},
editor = {Meghann Agarwal and
Chris Calloway and
Dillon Niederhut and
David Shupe},
title = {PyCID: {A} Python Library for Causal Influence Diagrams},
booktitle = {Proceedings of the 20th Python in Science Conference 2021 (SciPy 2021),
Virtual Conference, July 12 - July 18, 2021},
pages = {65--73},
publisher = {scipy.org},
year = {2021},
url = {https://doi.org/10.25080/majora-1b6fd038-008},
doi = {10.25080/MAJORA-1B6FD038-008},
timestamp = {Sun, 12 Feb 2023 18:48:24 +0100},
biburl = {https://dblp.org/rec/conf/scipy/FoxECLAW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/BrownAR21,
author = {Joe Brown and
Alessandro Abate and
Alex Rogers},
editor = {Xiaofan Fred Jiang and
Omprakash Gnawali and
Zolt{\'{a}}n Nagy},
title = {{QUILT:} quantify, infer and label the thermal efficiency of heating
and cooling residential homes},
booktitle = {BuildSys '21: The 8th {ACM} International Conference on Systems for
Energy-Efficient Buildings, Cities, and Transportation, Coimbra, Portugal,
November 17 - 18, 2021},
pages = {51--60},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486611.3486653},
doi = {10.1145/3486611.3486653},
timestamp = {Fri, 08 Dec 2023 08:04:40 +0100},
biburl = {https://dblp.org/rec/conf/sensys/BrownAR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PeruffoAA21,
author = {Andrea Peruffo and
Daniele Ahmed and
Alessandro Abate},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {Automated and Formal Synthesis of Neural Barrier Certificates for
Dynamical Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12651},
pages = {370--388},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72016-2\_20},
doi = {10.1007/978-3-030-72016-2\_20},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PeruffoAA21.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}
}
@proceedings{DBLP:conf/adhs/2021,
editor = {Rapha{\"{e}}l M. Jungers and
Necmiye Ozay and
Alessandro Abate},
title = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2021, Brussels, Belgium, July 7-9, 2021},
series = {IFAC-PapersOnLine},
volume = {54},
number = {5},
publisher = {Elsevier},
year = {2021},
url = {https://www.sciencedirect.com/journal/ifac-papersonline/vol/54/issue/5},
timestamp = {Tue, 14 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2021,
editor = {Alessandro Abate and
Andrea Marin},
title = {Quantitative Evaluation of Systems - 18th International Conference,
{QEST} 2021, Paris, France, August 23-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12846},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85172-9},
doi = {10.1007/978-3-030-85172-9},
isbn = {978-3-030-85171-2},
timestamp = {Fri, 20 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-07491,
author = {Abolfazl Lavaei and
Sadegh Soudjani and
Alessandro Abate and
Majid Zamani},
title = {Automated Verification and Synthesis of Stochastic Hybrid Systems:
{A} Survey},
journal = {CoRR},
volume = {abs/2101.07491},
year = {2021},
url = {https://arxiv.org/abs/2101.07491},
eprinttype = {arXiv},
eprint = {2101.07491},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-07491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-00582,
author = {Lewis Hammond and
Alessandro Abate and
Julian Gutierrez and
Michael J. Wooldridge},
title = {Multi-Agent Reinforcement Learning with Temporal Logic Specifications},
journal = {CoRR},
volume = {abs/2102.00582},
year = {2021},
url = {https://arxiv.org/abs/2102.00582},
eprinttype = {arXiv},
eprint = {2102.00582},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-00582.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-05008,
author = {Lewis Hammond and
James Fox and
Tom Everitt and
Alessandro Abate and
Michael J. Wooldridge},
title = {Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory
and Practice},
journal = {CoRR},
volume = {abs/2102.05008},
year = {2021},
url = {https://arxiv.org/abs/2102.05008},
eprinttype = {arXiv},
eprint = {2102.05008},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-05008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-12855,
author = {Mingyu Cai and
Mohammadhosein Hasanbeig and
Shaoping Xiao and
Alessandro Abate and
Zhen Kan},
title = {Modular Deep Reinforcement Learning for Continuous Motion Planning
with Temporal Logic},
journal = {CoRR},
volume = {abs/2102.12855},
year = {2021},
url = {https://arxiv.org/abs/2102.12855},
eprinttype = {arXiv},
eprint = {2102.12855},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-12855.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14691,
author = {Francesco Cosentino and
Harald Oberhauser and
Alessandro Abate},
title = {Grid-Free Computation of Probabilistic Safety with Malliavin Calculus},
journal = {CoRR},
volume = {abs/2104.14691},
year = {2021},
url = {https://arxiv.org/abs/2104.14691},
eprinttype = {arXiv},
eprint = {2104.14691},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14691.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-12662,
author = {Thom S. Badings and
Alessandro Abate and
Nils Jansen and
David Parker and
Hasan A. Poonawala and
Mari{\"{e}}lle Stoelinga},
title = {Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian
Noise},
journal = {CoRR},
volume = {abs/2110.12662},
year = {2021},
url = {https://arxiv.org/abs/2110.12662},
eprinttype = {arXiv},
eprint = {2110.12662},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-12662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AbateBCDKKP20,
author = {Alessandro Abate and
Iury Bessa and
Lucas C. Cordeiro and
Cristina David and
Pascal Kesseli and
Daniel Kroening and
Elizabeth Polgreen},
title = {Automated formal synthesis of provably safe digital controllers for
continuous plants},
journal = {Acta Informatica},
volume = {57},
number = {1-2},
pages = {223--244},
year = {2020},
url = {https://doi.org/10.1007/s00236-019-00359-1},
doi = {10.1007/S00236-019-00359-1},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AbateBCDKKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/BuAAMRWZ20,
author = {Lei Bu and
Alessandro Abate and
Dieky Adzkiya and
Muhammad Syifa'ul Mufid and
Rajarshi Ray and
Yuming Wu and
Enea Zaffanella},
title = {{ARCH-COMP20} Category Report: Hybrid Systems with Piecewise Constant
Dynamics and Bounded Model Checking},
booktitle = {{ARCH20.} 7th International Workshop on Applied Verification of Continuous
and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
series = {EPiC Series in Computing},
volume = {74},
pages = {1--15},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/bhwx},
doi = {10.29007/BHWX},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arch/BuAAMRWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/AbateBCDHKLPRSS20,
author = {Alessandro Abate and
Henk A. P. Blom and
Nathalie Cauchi and
Joanna Delicaris and
Arnd Hartmanns and
Mahmoud Khaled and
Abolfazl Lavaei and
Carina Pilch and
Anne Remke and
Stefan Schupp and
Fedor Shmarov and
Sadegh Soudjani and
Abraham P. Vinod and
Ben Wooding and
Majid Zamani and
Paolo Zuliani},
title = {{ARCH-COMP20} Category Report: Stochastic Models},
booktitle = {{ARCH20.} 7th International Workshop on Applied Verification of Continuous
and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
series = {EPiC Series in Computing},
volume = {74},
pages = {76--106},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/mqzc},
doi = {10.29007/MQZC},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arch/AbateBCDHKLPRSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HasanbeigAK20,
author = {Mohammadhosein Hasanbeig and
Alessandro Abate and
Daniel Kroening},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {Cautious Reinforcement Learning with Logical Constraints},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {483--491},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3398821},
doi = {10.5555/3398761.3398821},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/HasanbeigAK20.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 = {Fri, 04 Mar 2022 13:31:02 +0100},
biburl = {https://dblp.org/rec/conf/cdc/PolymenakosLPCC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MolyneuxA20,
author = {Gareth W. Molyneux and
Alessandro Abate},
editor = {Alessandro Abate and
Tatjana Petrov and
Verena Wolf},
title = {ABC(SMC)\({}^{\mbox{2}}\): Simultaneous Inference and Model Checking
of Chemical Reaction Networks},
booktitle = {Computational Methods in Systems Biology - 18th International Conference,
{CMSB} 2020, Konstanz, Germany, September 23-25, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12314},
pages = {255--279},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60327-4\_14},
doi = {10.1007/978-3-030-60327-4\_14},
timestamp = {Thu, 01 Oct 2020 13:38:55 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/MolyneuxA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/HasanbeigKA20,
author = {Mohammadhosein Hasanbeig and
Daniel Kroening and
Alessandro Abate},
editor = {Nathalie Bertrand and
Nils Jansen},
title = {Deep Reinforcement Learning with Temporal Logics},
booktitle = {Formal Modeling and Analysis of Timed Systems - 18th International
Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12288},
pages = {1--22},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57628-8\_1},
doi = {10.1007/978-3-030-57628-8\_1},
timestamp = {Tue, 25 Aug 2020 15:25:25 +0200},
biburl = {https://dblp.org/rec/conf/formats/HasanbeigKA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AbateCMM20,
author = {Alessandro Abate and
Alessandro Cimatti and
Andrea Micheli and
Muhammad Syifa'ul Mufid},
editor = {Nathalie Bertrand and
Nils Jansen},
title = {Computation of the Transient in Max-Plus Linear Systems via SMT-Solving},
booktitle = {Formal Modeling and Analysis of Timed Systems - 18th International
Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12288},
pages = {161--177},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57628-8\_10},
doi = {10.1007/978-3-030-57628-8\_10},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/AbateCMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/CosentinoOA20,
author = {Francesco Cosentino and
Harald Oberhauser and
Alessandro Abate},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {A Randomized Algorithm to Reduce the Support of Discrete Measures},
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/ac4395adcb3da3b2af3d3972d7a10221-Abstract.html},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/CosentinoOA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/PolymenakosRAR20,
author = {Kyriakos Polymenakos and
Nikitas Rontsis and
Alessandro Abate and
Stephen J. Roberts},
editor = {Marco Gribaudo and
David N. Jansen and
Anne Remke},
title = {SafePILCO: {A} Software Tool for Safe and Data-Efficient Policy Synthesis},
booktitle = {Quantitative Evaluation of Systems - 17th International Conference,
{QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12289},
pages = {18--26},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59854-9\_3},
doi = {10.1007/978-3-030-59854-9\_3},
timestamp = {Tue, 03 Nov 2020 17:25:04 +0100},
biburl = {https://dblp.org/rec/conf/qest/PolymenakosRAR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/BrownCAR20,
author = {Joe Brown and
Jonathan Chambers and
Alessandro Abate and
Alex Rogers},
title = {{SMITE:} Using Smart Meters to Infer the Thermal Efficiency of Residential
Homes},
booktitle = {BuildSys '20: The 7th {ACM} International Conference on Systems for
Energy-Efficient Buildings, Cities, and Transportation, Virtual Event,
Japan, November 18-20, 2020},
pages = {21--30},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3408308.3427609},
doi = {10.1145/3408308.3427609},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sensys/BrownCAR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AhmedPA20,
author = {Daniele Ahmed and
Andrea Peruffo and
Alessandro Abate},
editor = {Armin Biere and
David Parker},
title = {Automated and Sound Synthesis of Lyapunov Functions with {SMT} Solvers},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {97--114},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_6},
doi = {10.1007/978-3-030-45190-5\_6},
timestamp = {Fri, 14 May 2021 08:34:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AhmedPA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2020,
editor = {Alessandro Abate and
Tatjana Petrov and
Verena Wolf},
title = {Computational Methods in Systems Biology - 18th International Conference,
{CMSB} 2020, Konstanz, Germany, September 23-25, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12314},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60327-4},
doi = {10.1007/978-3-030-60327-4},
isbn = {978-3-030-60326-7},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-12156,
author = {Mohammadhosein Hasanbeig and
Alessandro Abate and
Daniel Kroening},
title = {Cautious Reinforcement Learning with Logical Constraints},
journal = {CoRR},
volume = {abs/2002.12156},
year = {2020},
url = {https://arxiv.org/abs/2002.12156},
eprinttype = {arXiv},
eprint = {2002.12156},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12156.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-08910,
author = {Alessandro Abate and
Daniele Ahmed and
Mirco Giacobbe and
Andrea Peruffo},
title = {Automated Formal Synthesis of Lyapunov Neural Networks},
journal = {CoRR},
volume = {abs/2003.08910},
year = {2020},
url = {https://arxiv.org/abs/2003.08910},
eprinttype = {arXiv},
eprint = {2003.08910},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-08910.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-11321,
author = {Gareth W. Molyneux and
Viraj B. Wijesuriya and
Alessandro Abate},
title = {Bayesian Verification of Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/2004.11321},
year = {2020},
url = {https://arxiv.org/abs/2004.11321},
eprinttype = {arXiv},
eprint = {2004.11321},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-11321.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-01757,
author = {Francesco Cosentino and
Harald Oberhauser and
Alessandro Abate},
title = {A Randomized Algorithm to Reduce the Support of Discrete Measures},
journal = {CoRR},
volume = {abs/2006.01757},
year = {2020},
url = {https://arxiv.org/abs/2006.01757},
eprinttype = {arXiv},
eprint = {2006.01757},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-01757.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-01819,
author = {Francesco Cosentino and
Harald Oberhauser and
Alessandro Abate},
title = {Acceleration of Descent-based Optimization Algorithms via Carath{\'{e}}odory's
Theorem},
journal = {CoRR},
volume = {abs/2006.01819},
year = {2020},
url = {https://arxiv.org/abs/2006.01819},
eprinttype = {arXiv},
eprint = {2006.01819},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-01819.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-00505,
author = {Alessandro Abate and
Alessandro Cimatti and
Andrea Micheli and
Muhammad Syifa'ul Mufid},
title = {Computation of the Transient in Max-Plus Linear Systems via SMT-Solving},
journal = {CoRR},
volume = {abs/2007.00505},
year = {2020},
url = {https://arxiv.org/abs/2007.00505},
eprinttype = {arXiv},
eprint = {2007.00505},
timestamp = {Mon, 06 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-00505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-02271,
author = {Yulong Gao and
Alessandro Abate and
Frank J. Jiang and
Mirco Giacobbe and
Lihua Xie and
Karl Henrik Johansson},
title = {Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain
Discrete-time Systems},
journal = {CoRR},
volume = {abs/2007.02271},
year = {2020},
url = {https://arxiv.org/abs/2007.02271},
eprinttype = {arXiv},
eprint = {2007.02271},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-02271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-02527,
author = {Thomas J. Ringstrom and
Mohammadhosein Hasanbeig and
Alessandro Abate},
title = {Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot
Transfer},
journal = {CoRR},
volume = {abs/2007.02527},
year = {2020},
url = {https://arxiv.org/abs/2007.02527},
eprinttype = {arXiv},
eprint = {2007.02527},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-02527.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-03251,
author = {Andrea Peruffo and
Daniele Ahmed and
Alessandro Abate},
title = {Automated Formal Synthesis of Neural Barrier Certificates for Dynamical
Models},
journal = {CoRR},
volume = {abs/2007.03251},
year = {2020},
url = {https://arxiv.org/abs/2007.03251},
eprinttype = {arXiv},
eprint = {2007.03251},
timestamp = {Mon, 20 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-03251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-04510,
author = {Muhammad Syifa'ul Mufid and
Dieky Adzkiya and
Alessandro Abate},
title = {Symbolic Reachability Analysis of High Dimensional Max-Plus Linear
Systems},
journal = {CoRR},
volume = {abs/2007.04510},
year = {2020},
url = {https://arxiv.org/abs/2007.04510},
eprinttype = {arXiv},
eprint = {2007.04510},
timestamp = {Mon, 20 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-04510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10865,
author = {Daniele Ahmed and
Andrea Peruffo and
Alessandro Abate},
title = {Automated and Sound Synthesis of Lyapunov Functions with {SMT} Solvers},
journal = {CoRR},
volume = {abs/2007.10865},
year = {2020},
url = {https://arxiv.org/abs/2007.10865},
eprinttype = {arXiv},
eprint = {2007.10865},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-10865.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-03273,
author = {Kyriakos Polymenakos and
Nikitas Rontsis and
Alessandro Abate and
Stephen J. Roberts},
title = {SafePILCO: a software tool for safe and data-efficient policy synthesis},
journal = {CoRR},
volume = {abs/2008.03273},
year = {2020},
url = {https://arxiv.org/abs/2008.03273},
eprinttype = {arXiv},
eprint = {2008.03273},
timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-03273.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/HasanbeigKA19,
author = {Mohammadhosein Hasanbeig and
Daniel Kroening and
Alessandro Abate},
editor = {Nicola Gigante and
Federico Mari and
Andrea Orlandini},
title = {Towards Verifiable and Safe Model-Free Reinforcement Learning},
booktitle = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis, co-located with the
18th International Conference of the Italian Association for Artificial
Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2509},
pages = {1},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2509/invited.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/HasanbeigKA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/PolymenakosAR19,
author = {Kyriakos Polymenakos and
Alessandro Abate and
Stephen J. Roberts},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Safe Policy Search Using Gaussian Process Models},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {1565--1573},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331874},
timestamp = {Wed, 29 May 2019 16:36:58 +0200},
biburl = {https://dblp.org/rec/conf/atal/PolymenakosAR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HasanbeigAK19,
author = {Mohammadhosein Hasanbeig and
Alessandro Abate and
Daniel Kroening},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Logically-Constrained Neural Fitted Q-iteration},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {2012--2014},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331994},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/HasanbeigAK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/HasanbeigKAKPL19,
author = {Mohammadhosein Hasanbeig and
Yiannis Kantaros and
Alessandro Abate and
Daniel Kroening and
George J. Pappas and
Insup Lee},
title = {Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic
Satisfaction Guarantees},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {5338--5343},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9028919},
doi = {10.1109/CDC40024.2019.9028919},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/HasanbeigKAKPL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/FrehseAABBCGGMM19,
author = {Goran Frehse and
Alessandro Abate and
Dieky Adzkiya and
Anna Becchi and
Lei Bu and
Alessandro Cimatti and
Mirco Giacobbe and
Alberto Griggio and
Sergio Mover and
Muhammad Syifa'ul Mufid and
Idriss Riouak and
Stefano Tonetta and
Enea Zaffanella},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP19} Category Report: Hybrid Systems with Piecewise Constant
Dynamics},
booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
April 15, 2019},
series = {EPiC Series in Computing},
volume = {61},
pages = {1--13},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/rjwn},
doi = {10.29007/RJWN},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/FrehseAABBCGGMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/AbateBCDFHHMOPR19,
author = {Alessandro Abate and
Henk A. P. Blom and
Nathalie Cauchi and
Kurt Degiorgio and
Martin Fr{\"{a}}nzle and
Ernst Moritz Hahn and
Sofie Haesaert and
Hao Ma and
Meeko Oishi and
Carina Pilch and
Anne Remke and
Mahmoud Salamati and
Sadegh Soudjani and
Birgit van Huijgevoort and
Abraham P. Vinod},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP19} Category Report: Stochastic Modelling},
booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
April 15, 2019},
series = {EPiC Series in Computing},
volume = {61},
pages = {62--102},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/f2vb},
doi = {10.29007/F2VB},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/AbateBCDFHHMOPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/LunAD19,
author = {Yuriy Zacchia Lun and
Alessandro Abate and
Alessandro D'Innocenzo},
title = {Linear quadratic regulation of polytopic time-inhomogeneous Markov
jump linear systems},
booktitle = {17th European Control Conference, {ECC} 2019, Naples, Italy, June
25-28, 2019},
pages = {4094--4099},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ECC.2019.8796279},
doi = {10.23919/ECC.2019.8796279},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eucc/LunAD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MolyneuxWA19,
author = {Gareth W. Molyneux and
Viraj B. Wijesuriya and
Alessandro Abate},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Bayesian Verification of Chemical Reaction Networks},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12233},
pages = {461--479},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54997-8\_29},
doi = {10.1007/978-3-030-54997-8\_29},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/MolyneuxWA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MufidAA19,
author = {Muhammad Syifa'ul Mufid and
Dieky Adzkiya and
Alessandro Abate},
editor = {{\'{E}}tienne Andr{\'{e}} and
Mari{\"{e}}lle Stoelinga},
title = {Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions},
booktitle = {Formal Modeling and Analysis of Timed Systems - 17th International
Conference, {FORMATS} 2019, Amsterdam, The Netherlands, August 27-29,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11750},
pages = {142--159},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29662-9\_9},
doi = {10.1007/978-3-030-29662-9\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/MufidAA19.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/hybrid/CauchiA19,
author = {Nathalie Cauchi and
Alessandro Abate},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {StocHy - automated verification and synthesis of stochastic processes:
poster abstract},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {258--259},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3313349},
doi = {10.1145/3302504.3313349},
timestamp = {Sun, 07 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/CauchiA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/WijesuriyaA19,
author = {Viraj Brian Wijesuriya and
Alessandro Abate},
editor = {David Parker and
Verena Wolf},
title = {Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain
Markov Decision Processes},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {91--108},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_6},
doi = {10.1007/978-3-030-30281-8\_6},
timestamp = {Fri, 18 Oct 2019 11:18:54 +0200},
biburl = {https://dblp.org/rec/conf/qest/WijesuriyaA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/PeruffoGPA19,
author = {Andrea Peruffo and
Emeline Guiu and
Patrick Panciatici and
Alessandro Abate},
editor = {David Parker and
Verena Wolf},
title = {Safety Guarantees for the Electricity Grid with Significant Renewables
Generation},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {332--349},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_19},
doi = {10.1007/978-3-030-30281-8\_19},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/PeruffoGPA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CauchiA19,
author = {Nathalie Cauchi and
Alessandro Abate},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {{\textbackslash}mathsf StocHy : Automated Verification and Synthesis
of Stochastic Processes},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {247--264},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_14},
doi = {10.1007/978-3-030-17465-1\_14},
timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
biburl = {https://dblp.org/rec/conf/tacas/CauchiA19.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-1901-10287,
author = {Nathalie Cauchi and
Kurt Degiorgio and
Alessandro Abate},
title = {StocHy: automated verification and synthesis of stochastic processes},
journal = {CoRR},
volume = {abs/1901.10287},
year = {2019},
url = {http://arxiv.org/abs/1901.10287},
eprinttype = {arXiv},
eprint = {1901.10287},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-00778,
author = {Mohammadhosein Hasanbeig and
Alessandro Abate and
Daniel Kroening},
title = {Certified Reinforcement Learning with Logic Guidance},
journal = {CoRR},
volume = {abs/1902.00778},
year = {2019},
url = {http://arxiv.org/abs/1902.00778},
eprinttype = {arXiv},
eprint = {1902.00778},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-00778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-03091,
author = {Yuriy Zacchia Lun and
Alessandro Abate and
Alessandro D'Innocenzo},
title = {Linear quadratic regulation of polytopic time-inhomogeneous Markov
jump linear systems (extended version)},
journal = {CoRR},
volume = {abs/1903.03091},
year = {2019},
url = {http://arxiv.org/abs/1903.03091},
eprinttype = {arXiv},
eprint = {1903.03091},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-03091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-06123,
author = {Khaza Anuarul Hoque and
Nathalie Cauchi and
Alessandro Abate},
title = {Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings},
journal = {CoRR},
volume = {abs/1903.06123},
year = {2019},
url = {http://arxiv.org/abs/1903.06123},
eprinttype = {arXiv},
eprint = {1903.06123},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-06123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-03564,
author = {Muhammad Syifa'ul Mufid and
Dieky Adzkiya and
Alessandro Abate},
title = {Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions},
journal = {CoRR},
volume = {abs/1907.03564},
year = {2019},
url = {http://arxiv.org/abs/1907.03564},
eprinttype = {arXiv},
eprint = {1907.03564},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-03564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-05304,
author = {Mohammadhosein Hasanbeig and
Yiannis Kantaros and
Alessandro Abate and
Daniel Kroening and
George J. Pappas and
Insup Lee},
title = {Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic
Satisfaction Guarantees},
journal = {CoRR},
volume = {abs/1909.05304},
year = {2019},
url = {http://arxiv.org/abs/1909.05304},
eprinttype = {arXiv},
eprint = {1909.05304},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05304.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-08017,
author = {Elizabeth Polgreen and
Martin Brain and
Martin Fr{\"{a}}nzle and
Alessandro Abate},
title = {Verifying Reachability Properties in Markov Chains via Incremental
Induction},
journal = {CoRR},
volume = {abs/1909.08017},
year = {2019},
url = {http://arxiv.org/abs/1909.08017},
eprinttype = {arXiv},
eprint = {1909.08017},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-11591,
author = {Lim Zun Yuan and
Mohammadhosein Hasanbeig and
Alessandro Abate and
Daniel Kroening},
title = {Modular Deep Reinforcement Learning with Temporal Logic Specifications},
journal = {CoRR},
volume = {abs/1909.11591},
year = {2019},
url = {http://arxiv.org/abs/1909.11591},
eprinttype = {arXiv},
eprint = {1909.11591},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-11591.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-10244,
author = {Mohammadhosein Hasanbeig and
Natasha Yogananda Jeppu and
Alessandro Abate and
Tom Melham and
Daniel Kroening},
title = {DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep
Reinforcement Learning},
journal = {CoRR},
volume = {abs/1911.10244},
year = {2019},
url = {http://arxiv.org/abs/1911.10244},
eprinttype = {arXiv},
eprint = {1911.10244},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-10244.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/tcns/ZamaniMKA18,
author = {Majid Zamani and
Manuel Mazo Jr. and
Mahmoud Khaled and
Alessandro Abate},
title = {Symbolic Abstractions of Networked Control Systems},
journal = {{IEEE} Trans. Control. Netw. Syst.},
volume = {5},
number = {4},
pages = {1622--1634},
year = {2018},
url = {https://doi.org/10.1109/TCNS.2017.2739645},
doi = {10.1109/TCNS.2017.2739645},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcns/ZamaniMKA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/LesserA18,
author = {Kendra Lesser and
Alessandro Abate},
title = {Multiobjective Optimal Control With Safety as a Priority},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {26},
number = {3},
pages = {1015--1027},
year = {2018},
url = {https://doi.org/10.1109/TCST.2017.2699161},
doi = {10.1109/TCST.2017.2699161},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/LesserA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosn/CauchiHSA18,
author = {Nathalie Cauchi and
Khaza Anuarul Hoque and
Mari{\"{e}}lle Stoelinga and
Alessandro Abate},
title = {Maintenance of Smart Buildings using Fault Trees},
journal = {{ACM} Trans. Sens. Networks},
volume = {14},
number = {3-4},
pages = {28:1--28:25},
year = {2018},
url = {https://doi.org/10.1145/3232616},
doi = {10.1145/3232616},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosn/CauchiHSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/FrehseAABGMZ18,
author = {Goran Frehse and
Alessandro Abate and
Dieky Adzkiya and
Lei Bu and
Mirco Giacobbe and
Muhammad Syifa'ul Mufid and
Enea Zaffanella},
editor = {Goran Frehse and
Matthias Althoff and
Sergiy Bogomolov and
Taylor T. Johnson},
title = {{ARCH-COMP18} Category Report: Hybrid Systems with Piecewise Constant
Dynamics},
booktitle = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
series = {EPiC Series in Computing},
volume = {54},
pages = {1--13},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/p11g},
doi = {10.29007/P11G},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/FrehseAABGMZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/CauchiA18,
author = {Nathalie Cauchi and
Alessandro Abate},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Benchmarks for cyber-physical systems: {A} modular model library for
building automation systems},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {49--54},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.009},
doi = {10.1016/J.IFACOL.2018.08.009},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/CauchiA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/AbateBCHHLOSSVV18,
author = {Alessandro Abate and
Henk A. P. Blom and
Nathalie Cauchi and
Sofie Haesaert and
Arnd Hartmanns and
Kendra Lesser and
Meeko Oishi and
Vignesh Sivaramakrishnan and
Sadegh Soudjani and
Cristian Ioan Vasile and
Abraham P. Vinod},
editor = {Goran Frehse and
Matthias Althoff and
Sergiy Bogomolov and
Taylor T. Johnson},
title = {{ARCH-COMP18} Category Report: Stochastic Modelling},
booktitle = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
series = {EPiC Series in Computing},
volume = {54},
pages = {71--103},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/7ks7},
doi = {10.29007/7KS7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/AbateBCHHLOSSVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/HaesaertSA18,
author = {Sofie Haesaert and
Sadegh Soudjani and
Alessandro Abate},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Temporal logic control of general Markov decision processes by approximate
policy refinement},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {73--78},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.013},
doi = {10.1016/J.IFACOL.2018.08.013},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/HaesaertSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/LunWDA18,
author = {Yuriy Zacchia Lun and
Jack Wheatley and
Alessandro D'Innocenzo and
Alessandro Abate},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Approximate Abstractions of Markov Chains with Interval Decision Processes},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {91--96},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.016},
doi = {10.1016/J.IFACOL.2018.08.016},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/LunWDA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/CauchiA18a,
author = {Nathalie Cauchi and
Alessandro Abate},
editor = {Goran Frehse and
Matthias Althoff and
Sergiy Bogomolov and
Taylor T. Johnson},
title = {Benchmarks for stochastic models from building automation systems},
booktitle = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
series = {EPiC Series in Computing},
volume = {54},
pages = {242--250},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/trj5},
doi = {10.29007/TRJ5},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/CauchiA18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbateDKKP18,
author = {Alessandro Abate and
Cristina David and
Pascal Kesseli and
Daniel Kroening and
Elizabeth Polgreen},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Counterexample Guided Inductive Synthesis Modulo Theories},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {270--288},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_15},
doi = {10.1007/978-3-319-96145-3\_15},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbateDKKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/PeruffoGPA18,
author = {Andrea Peruffo and
Emeline Guiu and
Patrick Panciatici and
Alessandro Abate},
title = {Impact of Solar Panels and Cooling Devices on Frequency Control After
a Generation Loss Incident},
booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
FL, USA, December 17-19, 2018},
pages = {5904--5909},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CDC.2018.8619384},
doi = {10.1109/CDC.2018.8619384},
timestamp = {Fri, 04 Mar 2022 13:30:11 +0100},
biburl = {https://dblp.org/rec/conf/cdc/PeruffoGPA18.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}
}
@inproceedings{DBLP:conf/epew/AbateBCHHS18,
author = {Alessandro Abate and
Carlos E. Budde and
Nathalie Cauchi and
Arnaud van Harmelen and
Khaza Anuarul Hoque and
Mari{\"{e}}lle Stoelinga},
editor = {Rena Bakhshi and
Paolo Ballarini and
Beno{\^{\i}}t Barbot and
Hind Castel{-}Taleb and
Anne Remke},
title = {Modelling Smart Buildings Using Fault Maintenance Trees},
booktitle = {Computer Performance Engineering - 15th European Workshop, {EPEW}
2018, Paris, France, October 29-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11178},
pages = {110--125},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02227-3\_8},
doi = {10.1007/978-3-030-02227-3\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epew/AbateBCHHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MufidAA18,
author = {Muhammad Syifa'ul Mufid and
Dieky Adzkiya and
Alessandro Abate},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Tropical Abstractions of Max-Plus Linear Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {271--287},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_16},
doi = {10.1007/978-3-030-00151-3\_16},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/MufidAA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adhs/2018,
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
publisher = {Elsevier},
year = {2018},
url = {https://www.sciencedirect.com/journal/ifac-papersonline/vol/51/issue/16},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-04263,
author = {Nathalie Cauchi and
Khaza Anuarul Hoque and
Alessandro Abate and
Mari{\"{e}}lle Stoelinga},
title = {Efficient Probabilistic Model Checking of Smart Building Maintenance
using Fault Maintenance Trees},
journal = {CoRR},
volume = {abs/1801.04263},
year = {2018},
url = {http://arxiv.org/abs/1801.04263},
eprinttype = {arXiv},
eprint = {1801.04263},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-04263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-08099,
author = {Mohammadhosein Hasanbeig and
Alessandro Abate and
Daniel Kroening},
title = {Logically-Correct Reinforcement Learning},
journal = {CoRR},
volume = {abs/1801.08099},
year = {2018},
url = {http://arxiv.org/abs/1801.08099},
eprinttype = {arXiv},
eprint = {1801.08099},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-08099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-06315,
author = {Nathalie Cauchi and
Alessandro Abate},
title = {Benchmarks for cyber-physical systems: {A} modular model library for
building automation systems (Extended version)},
journal = {CoRR},
volume = {abs/1803.06315},
year = {2018},
url = {http://arxiv.org/abs/1803.06315},
eprinttype = {arXiv},
eprint = {1803.06315},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-06315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08554,
author = {Yuriy Zacchia Lun and
Jack Wheatley and
Alessandro D'Innocenzo and
Alessandro Abate},
title = {Approximate Abstractions of Markov Chains with Interval Decision Processes
(Extended Version)},
journal = {CoRR},
volume = {abs/1804.08554},
year = {2018},
url = {http://arxiv.org/abs/1804.08554},
eprinttype = {arXiv},
eprint = {1804.08554},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-04604,
author = {Muhammad Syifa'ul Mufid and
Dieky Adzkiya and
Alessandro Abate},
title = {Tropical Abstractions of Max-Plus-Linear Systems},
journal = {CoRR},
volume = {abs/1806.04604},
year = {2018},
url = {http://arxiv.org/abs/1806.04604},
eprinttype = {arXiv},
eprint = {1806.04604},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-04604.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-05174,
author = {Nathalie Cauchi and
Khaza Anuarul Hoque and
Mari{\"{e}}lle Stoelinga and
Alessandro Abate},
title = {Maintenance of Smart Buildings using Fault Trees},
journal = {CoRR},
volume = {abs/1806.05174},
year = {2018},
url = {http://arxiv.org/abs/1806.05174},
eprinttype = {arXiv},
eprint = {1806.05174},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-05174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-07823,
author = {Mohammadhosein Hasanbeig and
Alessandro Abate and
Daniel Kroening},
title = {Logically-Constrained Neural Fitted Q-Iteration},
journal = {CoRR},
volume = {abs/1809.07823},
year = {2018},
url = {http://arxiv.org/abs/1809.07823},
eprinttype = {arXiv},
eprint = {1809.07823},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-07823.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SoudjaniAM17,
author = {Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate and
Rupak Majumdar},
title = {Dynamic Bayesian networks for formal verification of structured stochastic
processes},
journal = {Acta Informatica},
volume = {54},
number = {2},
pages = {217--242},
year = {2017},
url = {https://doi.org/10.1007/s00236-016-0287-9},
doi = {10.1007/S00236-016-0287-9},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SoudjaniAM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/HaesaertHA17,
author = {Sofie Haesaert and
Paul M. J. Van den Hof and
Alessandro Abate},
title = {Data-driven and model-based verification via Bayesian identification
and reachability analysis},
journal = {Autom.},
volume = {79},
pages = {115--126},
year = {2017},
url = {https://doi.org/10.1016/j.automatica.2017.01.037},
doi = {10.1016/J.AUTOMATICA.2017.01.037},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/HaesaertHA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/ZamaniTA17,
author = {Majid Zamani and
Ilya Tkachev and
Alessandro Abate},
title = {Towards scalable synthesis of stochastic control systems},
journal = {Discret. Event Dyn. Syst.},
volume = {27},
number = {2},
pages = {341--369},
year = {2017},
url = {https://doi.org/10.1007/s10626-016-0233-6},
doi = {10.1007/S10626-016-0233-6},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/deds/ZamaniTA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/TkachevMKA17,
author = {Ilya Tkachev and
Alexandru Mereacre and
Joost{-}Pieter Katoen and
Alessandro Abate},
title = {Quantitative model-checking of controlled discrete-time Markov processes},
journal = {Inf. Comput.},
volume = {253},
pages = {1--35},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.11.006},
doi = {10.1016/J.IC.2016.11.006},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/TkachevMKA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/HaesaertCA17,
author = {Sofie Haesaert and
Nathalie Cauchi and
Alessandro Abate},
title = {Certified policy synthesis for general Markov decision processes:
An application in building automation systems},
journal = {Perform. Evaluation},
volume = {117},
pages = {75--103},
year = {2017},
url = {https://doi.org/10.1016/j.peva.2017.09.005},
doi = {10.1016/J.PEVA.2017.09.005},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/HaesaertCA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamco/HaesaertSA17,
author = {Sofie Haesaert and
Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
title = {Verification of General Markov Decision Processes by Approximate Similarity
Relations and Policy Refinement},
journal = {{SIAM} J. Control. Optim.},
volume = {55},
number = {4},
pages = {2333--2367},
year = {2017},
url = {https://doi.org/10.1137/16M1079397},
doi = {10.1137/16M1079397},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamco/HaesaertSA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CattaruzzaASK17,
author = {Dario Cattaruzza and
Alessandro Abate and
Peter Schrammel and
Daniel Kroening},
editor = {Alessandro Abate and
Sylvie Boldo},
title = {Sound Numerical Computations in Abstract Acceleration},
booktitle = {Numerical Software Verification - 10th International Workshop, {NSV}
2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated
with {CAV} 2017]},
series = {Lecture Notes in Computer Science},
volume = {10381},
pages = {38--60},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63501-9\_4},
doi = {10.1007/978-3-319-63501-9\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CattaruzzaASK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbateBCCDKKP17,
author = {Alessandro Abate and
Iury Bessa and
Dario Cattaruzza and
Lucas C. Cordeiro and
Cristina David and
Pascal Kesseli and
Daniel Kroening and
Elizabeth Polgreen},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Automated Formal Synthesis of Digital Controllers for State-Space
Physical Plants},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {462--482},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_23},
doi = {10.1007/978-3-319-63387-9\_23},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AbateBCCDKKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/LunDAB17,
author = {Yuriy Zacchia Lun and
Alessandro D'Innocenzo and
Alessandro Abate and
Maria Domenica Di Benedetto},
title = {Optimal robust control and a separation principle for polytopic time-inhomogeneous
Markov jump linear systems},
booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017,
Melbourne, Australia, December 12-15, 2017},
pages = {6525--6530},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CDC.2017.8264642},
doi = {10.1109/CDC.2017.8264642},
timestamp = {Fri, 04 Mar 2022 13:29:55 +0100},
biburl = {https://dblp.org/rec/conf/cdc/LunDAB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/FrehseAABG17,
author = {Goran Frehse and
Alessandro Abate and
Dieky Adzkiya and
Lei Bu and
Mirco Giacobbe},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP17} Category Report: Hybrid Systems with Piecewise Constant
Dynamics},
booktitle = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous
and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek)
on April 17, 2017 in Pittsburgh, PA, {USA}},
series = {EPiC Series in Computing},
volume = {48},
pages = {124--133},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/n3km},
doi = {10.29007/N3KM},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/FrehseAABG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BianA17,
author = {Gaoang Bian and
Alessandro Abate},
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {On the Relationship Between Bisimulation and Trace Equivalence in
an Approximate Probabilistic Context},
booktitle = {Foundations of Software Science and Computation Structures - 20th
International Conference, {FOSSACS} 2017, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10203},
pages = {321--337},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7\_19},
doi = {10.1007/978-3-662-54458-7\_19},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BianA17.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}
}
@inproceedings{DBLP:conf/hybrid/AbateBCCDKK17,
author = {Alessandro Abate and
Iury Bessa and
Dario Cattaruzza and
Lucas C. Cordeiro and
Cristina David and
Pascal Kesseli and
Daniel Kroening},
editor = {Goran Frehse and
Sayan Mitra},
title = {Sound and Automated Synthesis of Digital Stabilizing Controllers for
Continuous Plants},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {197--206},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049802},
doi = {10.1145/3049797.3049802},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AbateBCCDKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/LesserA17,
author = {Kendra Lesser and
Alessandro Abate},
editor = {Sonia Mart{\'{\i}}nez and
Eduardo Tovar and
Chris Gill and
Bruno Sinopoli},
title = {Multi-objective optimal control with safety as a priority},
booktitle = {Proceedings of the 8th International Conference on Cyber-Physical
Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20,
2017},
pages = {25--36},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3055004.3055008},
doi = {10.1145/3055004.3055008},
timestamp = {Fri, 03 Sep 2021 09:01:40 +0200},
biburl = {https://dblp.org/rec/conf/iccps/LesserA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AbateBCCCDKKP17,
author = {Alessandro Abate and
Iury Bessa and
Dario Cattaruzza and
Lennon C. Chaves and
Lucas C. Cordeiro and
Cristina David and
Pascal Kesseli and
Daniel Kroening and
Elizabeth Polgreen},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {DSSynth: an automated digital controller synthesis tool for physical
plants},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {919--924},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115705},
doi = {10.1109/ASE.2017.8115705},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/AbateBCCCDKKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Abate17,
author = {Alessandro Abate},
editor = {Jean{-}Pierre Talpin and
Patricia Derler and
Klaus Schneider},
title = {Formal verification of complex systems: model-based and data-driven
methods},
booktitle = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
September 29 - October 02, 2017},
pages = {91--93},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3127041.3131362},
doi = {10.1145/3127041.3131362},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Abate17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/PeruffoGPA17,
author = {Andrea Peruffo and
Emeline Guiu and
Patrick Panciatici and
Alessandro Abate},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Aggregated Markov Models of a Heterogeneous Population of Photovoltaic
Panels},
booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
{QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10503},
pages = {72--87},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66335-7\_5},
doi = {10.1007/978-3-319-66335-7\_5},
timestamp = {Mon, 16 Sep 2019 15:31:32 +0200},
biburl = {https://dblp.org/rec/conf/qest/PeruffoGPA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/PolgreenWHA17,
author = {Elizabeth Polgreen and
Viraj B. Wijesuriya and
Sofie Haesaert and
Alessandro Abate},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Automated Experiment Design for Data-Efficient Verification of Parametric
Markov Decision Processes},
booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
{QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10503},
pages = {259--274},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66335-7\_16},
doi = {10.1007/978-3-319-66335-7\_16},
timestamp = {Tue, 22 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/PolgreenWHA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/CauchiHAS17,
author = {Nathalie Cauchi and
Khaza Anuarul Hoque and
Alessandro Abate and
Mari{\"{e}}lle Stoelinga},
editor = {Kamin Whitehouse and
Prabal Dutta and
Hae Young Noh},
title = {Efficient probabilistic model checking of smart building maintenance
using fault maintenance trees},
booktitle = {Proceedings of the 4th {ACM} International Conference on Systems for
Energy-Efficient Built Environments, BuildSys 2017, Delft, The Netherlands,
November 08-09, 2017},
pages = {24:1--24:10},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3137133.3137138},
doi = {10.1145/3137133.3137138},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sensys/CauchiHAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2017nsv,
editor = {Alessandro Abate and
Sylvie Boldo},
title = {Numerical Software Verification - 10th International Workshop, {NSV}
2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated
with {CAV} 2017]},
series = {Lecture Notes in Computer Science},
volume = {10381},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63501-9},
doi = {10.1007/978-3-319-63501-9},
isbn = {978-3-319-63500-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2017nsv.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2017,
editor = {Alessandro Abate and
Gilles Geeraerts},
title = {Formal Modeling and Analysis of Timed Systems - 15th International
Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10419},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65765-3},
doi = {10.1007/978-3-319-65765-3},
isbn = {978-3-319-65764-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BianA17,
author = {Gaoang Bian and
Alessandro Abate},
title = {On the Relationship between Bisimulation and Trace Equivalence in
an Approximate Probabilistic Context (Extended Version)},
journal = {CoRR},
volume = {abs/1701.04547},
year = {2017},
url = {http://arxiv.org/abs/1701.04547},
eprinttype = {arXiv},
eprint = {1701.04547},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BianA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenHAW17,
author = {Fei Chen and
Sofie Haesaert and
Alessandro Abate and
Siep Weiland},
title = {Control refinement for discrete-time descriptor systems: a behavioural
approach via simulation relations},
journal = {CoRR},
volume = {abs/1704.01672},
year = {2017},
url = {http://arxiv.org/abs/1704.01672},
eprinttype = {arXiv},
eprint = {1704.01672},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChenHAW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbateBCCDKKP17,
author = {Alessandro Abate and
Iury Bessa and
Dario Cattaruzza and
Lucas C. Cordeiro and
Cristina David and
Pascal Kesseli and
Daniel Kroening and
Elizabeth Polgreen},
title = {Automated Formal Synthesis of Digital Controllers for State-Space
Physical Plants},
journal = {CoRR},
volume = {abs/1705.00981},
year = {2017},
url = {http://arxiv.org/abs/1705.00981},
eprinttype = {arXiv},
eprint = {1705.00981},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbateBCCDKKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PolgreenWHA17,
author = {Elizabeth Polgreen and
Viraj B. Wijesuriya and
Sofie Haesaert and
Alessandro Abate},
title = {Automated Experiment Design for Data-Efficient Verification of Parametric
Markov Decision Processes},
journal = {CoRR},
volume = {abs/1707.01322},
year = {2017},
url = {http://arxiv.org/abs/1707.01322},
eprinttype = {arXiv},
eprint = {1707.01322},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PolgreenWHA17.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/corr/abs-1712-05556,
author = {Kyriakos Polymenakos and
Alessandro Abate and
Stephen J. Roberts},
title = {Safe Policy Search with Gaussian Process Models},
journal = {CoRR},
volume = {abs/1712.05556},
year = {2017},
url = {http://arxiv.org/abs/1712.05556},
eprinttype = {arXiv},
eprint = {1712.05556},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-05556.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-07622,
author = {Sofie Haesaert and
Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
title = {Temporal logic control of general Markov decision processes by approximate
policy refinement},
journal = {CoRR},
volume = {abs/1712.07622},
year = {2017},
url = {http://arxiv.org/abs/1712.07622},
eprinttype = {arXiv},
eprint = {1712.07622},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-07622.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/AdzkiyaZA16,
author = {Dieky Adzkiya and
Yining Zhang and
Alessandro Abate},
title = {VeriSiMPL 2: An open-source software for the verification of max-plus-linear
systems},
journal = {Discret. Event Dyn. Syst.},
volume = {26},
number = {1},
pages = {109--145},
year = {2016},
url = {https://doi.org/10.1007/s10626-015-0218-x},
doi = {10.1007/S10626-015-0218-X},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/AdzkiyaZA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/SoudjaniAA16,
author = {Sadegh Esmaeil Zadeh Soudjani and
Dieky Adzkiya and
Alessandro Abate},
title = {Formal Verification of Stochastic Max-Plus-Linear Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {61},
number = {10},
pages = {2861--2876},
year = {2016},
url = {https://doi.org/10.1109/TAC.2015.2502781},
doi = {10.1109/TAC.2015.2502781},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/SoudjaniAA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AbateCK16,
author = {Alessandro Abate and
Milan Ceska and
Marta Kwiatkowska},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {Approximate Policy Iteration for Markov Decision Processes via Quantitative
Adaptive Aggregations},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {13--31},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_2},
doi = {10.1007/978-3-319-46520-3\_2},
timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AbateCK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Abate16,
author = {Alessandro Abate},
editor = {Sergiy Bogomolov and
Matthieu Martel and
Pavithra Prabhakar},
title = {Verification of Networks of Smart Energy Systems over the Cloud},
booktitle = {Numerical Software Verification - 9th International Workshop, {NSV}
2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
2016], Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10152},
pages = {1--14},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-54292-8\_1},
doi = {10.1007/978-3-319-54292-8\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Abate16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/LesserA16,
author = {Kendra Lesser and
Alessandro Abate},
title = {Safety verification of output feedback controllers for nonlinear systems},
booktitle = {15th European Control Conference, {ECC} 2016, Aalborg, Denmark, June
29 - July 1, 2016},
pages = {413--418},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ECC.2016.7810320},
doi = {10.1109/ECC.2016.7810320},
timestamp = {Tue, 01 Jun 2021 15:22:59 +0200},
biburl = {https://dblp.org/rec/conf/eucc/LesserA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/HaesaertHA16,
author = {Sofie Haesaert and
Paul M. J. Van den Hof and
Alessandro Abate},
title = {Experiment design for formal verification via stochastic optimal control},
booktitle = {15th European Control Conference, {ECC} 2016, Aalborg, Denmark, June
29 - July 1, 2016},
pages = {427--432},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ECC.2016.7810322},
doi = {10.1109/ECC.2016.7810322},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eucc/HaesaertHA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/HolubZA16,
author = {Ondrej Holub and
Majid Zamani and
Alessandro Abate},
title = {Efficient {HVAC} controls: {A} symbolic approach},
booktitle = {15th European Control Conference, {ECC} 2016, Aalborg, Denmark, June
29 - July 1, 2016},
pages = {1159--1164},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ECC.2016.7810446},
doi = {10.1109/ECC.2016.7810446},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eucc/HolubZA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/PolgreenWHA16,
author = {Elizabeth Polgreen and
Viraj B. Wijesuriya and
Sofie Haesaert and
Alessandro Abate},
editor = {Gul Agha and
Benny Van Houdt},
title = {Data-Efficient Bayesian Verification of Parametric Markov Chains},
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 = {35--51},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4\_3},
doi = {10.1007/978-3-319-43425-4\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/qest/PolgreenWHA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HaesaertAH16,
author = {Sofie Haesaert and
Alessandro Abate and
Paul M. J. Van den Hof},
editor = {Gul Agha and
Benny Van Houdt},
title = {Verification of General Markov Decision Processes by Approximate Similarity
Relations and Policy Refinement},
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 = {227--243},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4\_16},
doi = {10.1007/978-3-319-43425-4\_16},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/HaesaertAH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stairs/PathakSIA16,
author = {Shashank Pathak and
Sadegh Esmaeil Zadeh Soudjani and
Vadim Indelman and
Alessandro Abate},
editor = {David Pearce and
Helena Sofia Pinto},
title = {Formal and Data Association Aware Robust Belief Space Planning},
booktitle = {{STAIRS} 2016 - Proceedings of the Eighth European Starting {AI} Researcher
Symposium, The Hague, The Netherlands, August 29-30, 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {284},
pages = {87--98},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-682-8-87},
doi = {10.3233/978-1-61499-682-8-87},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stairs/PathakSIA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SoudjaniMA16,
author = {Sadegh Esmaeil Zadeh Soudjani and
Rupak Majumdar and
Alessandro Abate},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Safety Verification of Continuous-Space Pure Jump Markov Processes},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {147--163},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_9},
doi = {10.1007/978-3-662-49674-9\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SoudjaniMA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2016,
editor = {Alessandro Abate and
Georgios Fainekos},
title = {Proceedings of the 19th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2883817},
doi = {10.1145/2883817},
isbn = {978-1-4503-3955-1},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZamaniTA16,
author = {Majid Zamani and
Ilya Tkachev and
Alessandro Abate},
title = {Towards Scalable Synthesis of Stochastic Control Systems},
journal = {CoRR},
volume = {abs/1602.01358},
year = {2016},
url = {http://arxiv.org/abs/1602.01358},
eprinttype = {arXiv},
eprint = {1602.01358},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ZamaniTA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LesserA16,
author = {Kendra Lesser and
Alessandro Abate},
title = {Safety Verification of Output Feedback Controllers for Nonlinear Systems},
journal = {CoRR},
volume = {abs/1603.06627},
year = {2016},
url = {http://arxiv.org/abs/1603.06627},
eprinttype = {arXiv},
eprint = {1603.06627},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LesserA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HaesaertSA16,
author = {Sofie Haesaert and
Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
title = {Verification of general Markov decision processes by approximate similarity
relations and policy refinement},
journal = {CoRR},
volume = {abs/1605.09557},
year = {2016},
url = {http://arxiv.org/abs/1605.09557},
eprinttype = {arXiv},
eprint = {1605.09557},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HaesaertSA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbateBCCDKK16,
author = {Alessandro Abate and
Iury Bessa and
Dario Cattaruzza and
Lucas C. Cordeiro and
Cristina David and
Pascal Kesseli and
Daniel Kroening},
title = {Sound and Automated Synthesis of Digital Stabilizing Controllers for
Continuous Plants},
journal = {CoRR},
volume = {abs/1610.04761},
year = {2016},
url = {http://arxiv.org/abs/1610.04761},
eprinttype = {arXiv},
eprint = {1610.04761},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbateBCCDKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/AdzkiyaSA15,
author = {Dieky Adzkiya and
Bart De Schutter and
Alessandro Abate},
title = {Computational techniques for reachability analysis of Max-Plus-Linear
systems},
journal = {Autom.},
volume = {53},
pages = {293--302},
year = {2015},
url = {https://doi.org/10.1016/j.automatica.2015.01.002},
doi = {10.1016/J.AUTOMATICA.2015.01.002},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/AdzkiyaSA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/ZamaniAG15,
author = {Majid Zamani and
Alessandro Abate and
Antoine Girard},
title = {Symbolic models for stochastic switched systems: {A} discretization
and a discretization-free approach},
journal = {Autom.},
volume = {55},
pages = {183--196},
year = {2015},
url = {https://doi.org/10.1016/j.automatica.2015.03.004},
doi = {10.1016/J.AUTOMATICA.2015.03.004},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/ZamaniAG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SoudjaniA15,
author = {Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
title = {Quantitative Approximation of the Probability Distribution of a Markov
Process by Formal Abstractions},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:8)2015},
doi = {10.2168/LMCS-11(3:8)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SoudjaniA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/SoudjaniA15,
author = {Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
title = {Aggregation and Control of Populations of Thermostatically Controlled
Loads by Formal Abstractions},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {23},
number = {3},
pages = {975--990},
year = {2015},
url = {https://doi.org/10.1109/TCST.2014.2358844},
doi = {10.1109/TCST.2014.2358844},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/SoudjaniA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/LesserA15,
author = {Kendra Lesser and
Alessandro Abate},
editor = {Magnus Egerstedt and
Yorai Wardi},
title = {Controller Synthesis for Probabilistic Safety Specifications using
Observers},
booktitle = {5th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2015, Atlanta, GA, USA, October 14-16, 2015},
series = {IFAC-PapersOnLine},
volume = {48},
number = {27},
pages = {329--334},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.ifacol.2015.11.196},
doi = {10.1016/J.IFACOL.2015.11.196},
timestamp = {Tue, 09 Oct 2018 14:05:06 +0200},
biburl = {https://dblp.org/rec/conf/adhs/LesserA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/BalandatTAT15,
author = {Maximilian Balandat and
Ilya Tkachev and
Alessandro Abate and
Claire J. Tomlin},
title = {A mean field equilibrium for a model of interbank lending},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {1752--1757},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7170986},
doi = {10.1109/ACC.2015.7170986},
timestamp = {Fri, 03 Dec 2021 13:03:59 +0100},
biburl = {https://dblp.org/rec/conf/amcc/BalandatTAT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/HaesaertHA15,
author = {Sofie Haesaert and
Paul M. J. Van den Hof and
Alessandro Abate},
title = {Data-driven property verification of grey-box systems by Bayesian
experiment design},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {1800--1805},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7170994},
doi = {10.1109/ACC.2015.7170994},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/HaesaertHA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbateBCK15,
author = {Alessandro Abate and
Lubos Brim and
Milan Ceska and
Marta Z. Kwiatkowska},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical
Reaction Networks},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {195--213},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_12},
doi = {10.1007/978-3-319-21690-4\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbateBCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/HaesaertAH15,
author = {Sofie Haesaert and
Alessandro Abate and
Paul M. J. Van den Hof},
title = {Correct-by-design output feedback of {LTI} systems},
booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {6159--6164},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7403188},
doi = {10.1109/CDC.2015.7403188},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/HaesaertAH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/HaesaertAH15a,
author = {Sofie Haesaert and
Alessandro Abate and
Paul M. J. Van den Hof},
title = {Data-driven and model-based verification: {A} Bayesian identification
approach},
booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {6830--6835},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7403295},
doi = {10.1109/CDC.2015.7403295},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/HaesaertAH15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SoudjaniAM15,
author = {Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate and
Rupak Majumdar},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic
Processes},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {169--183},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.169},
doi = {10.4230/LIPICS.CONCUR.2015.169},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/SoudjaniAM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FranzleGKAK15,
author = {Martin Fr{\"{a}}nzle and
Sebastian Gerwinn and
Paul Kr{\"{o}}ger and
Alessandro Abate and
Joost{-}Pieter Katoen},
editor = {Sriram Sankaranarayanan and
Enrico Vicario},
title = {Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 13th International
Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9268},
pages = {93--107},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22975-1\_7},
doi = {10.1007/978-3-319-22975-1\_7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/FranzleGKAK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CattaruzzaASK15,
author = {Dario Cattaruzza and
Alessandro Abate and
Peter Schrammel and
Daniel Kroening},
editor = {Sandrine Blazy and
Thomas P. Jensen},
title = {Unbounded-Time Analysis of Guarded {LTI} Systems with Inputs by Abstract
Acceleration},
booktitle = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
France, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9291},
pages = {312--331},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48288-9\_18},
doi = {10.1007/978-3-662-48288-9\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/CattaruzzaASK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SoudjaniGA15,
author = {Sadegh Esmaeil Zadeh Soudjani and
Caspar Gevaerts and
Alessandro Abate},
editor = {Christel Baier and
Cesare Tinelli},
title = {{FAUST} \({}^{\mbox{ 2}}\) : Formal Abstractions of Uncountable-STate
STochastic Processes},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {272--286},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_23},
doi = {10.1007/978-3-662-46681-0\_23},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SoudjaniGA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hsb/2015,
editor = {Alessandro Abate and
David Safr{\'{a}}nek},
title = {Hybrid Systems Biology - Fourth International Workshop, {HSB} 2015,
Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9271},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26916-0},
doi = {10.1007/978-3-319-26916-0},
isbn = {978-3-319-26915-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsb/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CattaruzzaASK15,
author = {Dario Cattaruzza and
Alessandro Abate and
Peter Schrammel and
Daniel Kroening},
title = {Unbounded-Time Analysis of Guarded {LTI} Systems with Inputs by Abstract
Acceleration (extended version)},
journal = {CoRR},
volume = {abs/1506.05607},
year = {2015},
url = {http://arxiv.org/abs/1506.05607},
eprinttype = {arXiv},
eprint = {1506.05607},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CattaruzzaASK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SoudjaniAM15,
author = {Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate and
Rupak Majumdar},
title = {Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic
Processes},
journal = {CoRR},
volume = {abs/1507.00509},
year = {2015},
url = {http://arxiv.org/abs/1507.00509},
eprinttype = {arXiv},
eprint = {1507.00509},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SoudjaniAM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HaesaertHA15,
author = {Sofie Haesaert and
Paul M. J. Van den Hof and
Alessandro Abate},
title = {Data-driven and Model-based Verification: a Bayesian Identification
Approach},
journal = {CoRR},
volume = {abs/1509.03347},
year = {2015},
url = {http://arxiv.org/abs/1509.03347},
eprinttype = {arXiv},
eprint = {1509.03347},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HaesaertHA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HaesaertHA15a,
author = {Sofie Haesaert and
Paul M. J. Van den Hof and
Alessandro Abate},
title = {Observer-based correct-by-design controller synthesis},
journal = {CoRR},
volume = {abs/1509.03427},
year = {2015},
url = {http://arxiv.org/abs/1509.03427},
eprinttype = {arXiv},
eprint = {1509.03427},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HaesaertHA15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scl/ZamaniA14,
author = {Majid Zamani and
Alessandro Abate},
title = {Approximately bisimilar symbolic models for randomly switched stochastic
systems},
journal = {Syst. Control. Lett.},
volume = {69},
pages = {38--46},
year = {2014},
url = {https://doi.org/10.1016/j.sysconle.2014.04.003},
doi = {10.1016/J.SYSCONLE.2014.04.003},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scl/ZamaniA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/SoudjaniA14,
author = {Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
title = {Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic
Processes},
journal = {{IEEE} Trans. Autom. Control.},
volume = {59},
number = {2},
pages = {528--534},
year = {2014},
url = {https://doi.org/10.1109/TAC.2013.2273300},
doi = {10.1109/TAC.2013.2273300},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/SoudjaniA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/Zhao0HAT14,
author = {Lin Zhao and
Wei Zhang and
Jianghai Hu and
Alessandro Abate and
Claire J. Tomlin},
title = {On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling
Problem},
journal = {{IEEE} Trans. Autom. Control.},
volume = {59},
number = {10},
pages = {2825--2830},
year = {2014},
url = {https://doi.org/10.1109/TAC.2014.2314222},
doi = {10.1109/TAC.2014.2314222},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/Zhao0HAT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/ZamaniEMAL14,
author = {Majid Zamani and
Peyman Mohajerin Esfahani and
Rupak Majumdar and
Alessandro Abate and
John Lygeros},
title = {Symbolic Control of Stochastic Systems via Approximately Bisimilar
Finite Abstractions},
journal = {{IEEE} Trans. Autom. Control.},
volume = {59},
number = {12},
pages = {3135--3150},
year = {2014},
url = {https://doi.org/10.1109/TAC.2014.2351652},
doi = {10.1109/TAC.2014.2351652},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/ZamaniEMAL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TkachevA14,
author = {Ilya Tkachev and
Alessandro Abate},
title = {Characterization and computation of infinite-horizon specifications
over Markov processes},
journal = {Theor. Comput. Sci.},
volume = {515},
pages = {1--18},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.09.032},
doi = {10.1016/J.TCS.2013.09.032},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TkachevA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ZamaniA14,
author = {Majid Zamani and
Alessandro Abate},
title = {Symbolic models for randomly switched stochastic systems},
booktitle = {American Control Conference, {ACC} 2014, Portland, OR, USA, June 4-6,
2014},
pages = {2291--2296},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ACC.2014.6858937},
doi = {10.1109/ACC.2014.6858937},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/ZamaniA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbateKNP14,
author = {Alessandro Abate and
Marta Z. Kwiatkowska and
Gethin Norman and
David Parker},
editor = {Franck van Breugel and
Elham Kashefi and
Catuscia Palamidessi and
Jan Rutten},
title = {Probabilistic Model Checking of Labelled Markov Processes via Finite
Approximate Bisimulations},
booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
to Prakash Panangaden on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8464},
pages = {40--58},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06880-0\_2},
doi = {10.1007/978-3-319-06880-0\_2},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AbateKNP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ZamaniMA14,
author = {Majid Zamani and
Manuel Mazo Jr. and
Alessandro Abate},
title = {Finite abstractions of networked control systems},
booktitle = {53rd {IEEE} Conference on Decision and Control, {CDC} 2014, Los Angeles,
CA, USA, December 15-17, 2014},
pages = {95--100},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CDC.2014.7039365},
doi = {10.1109/CDC.2014.7039365},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/ZamaniMA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MaruthiTCCHBA14,
author = {Lakshmeesh R. M. Maruthi and
Ilya Tkachev and
Alfonso Carta and
Eugenio Cinquemani and
Pascal Hersen and
Gr{\'{e}}gory Batt and
Alessandro Abate},
editor = {Pedro Mendes and
Joseph O. Dada and
Kieran Smallbone},
title = {Towards Real-Time Control of Gene Expression at the Single Cell Level:
{A} Stochastic Control Approach},
booktitle = {Computational Methods in Systems Biology - 12th International Conference,
{CMSB} 2014, Manchester, UK, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8859},
pages = {155--172},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12982-2\_12},
doi = {10.1007/978-3-319-12982-2\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/MaruthiTCCHBA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ZamaniTA14,
author = {Majid Zamani and
Ilya Tkachev and
Alessandro Abate},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Bisimilar symbolic models for stochastic control systems without state-space
discretization},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {41--50},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562115},
doi = {10.1145/2562059.2562115},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/ZamaniTA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/TkachevA14,
author = {Ilya Tkachev and
Alessandro Abate},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {On approximation metrics for linear temporal model-checking of stochastic
systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {193--202},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562118},
doi = {10.1145/2562059.2562118},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/TkachevA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/SoudjaniGEFA14,
author = {Sadegh Esmaeil Zadeh Soudjani and
Sebastian Gerwinn and
Christian Ellen and
Martin Fr{\"{a}}nzle and
Alessandro Abate},
editor = {Gethin Norman and
William H. Sanders},
title = {Formal Synthesis and Validation of Inhomogeneous Thermostatically
Controlled Loads},
booktitle = {Quantitative Evaluation of Systems - 11th International Conference,
{QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8657},
pages = {57--73},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10696-0\_6},
doi = {10.1007/978-3-319-10696-0\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/SoudjaniGEFA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AdzkiyaSA14,
author = {Dieky Adzkiya and
Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
editor = {Gethin Norman and
William H. Sanders},
title = {Finite Abstractions of Stochastic Max-Plus-Linear Systems},
booktitle = {Quantitative Evaluation of Systems - 11th International Conference,
{QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8657},
pages = {74--89},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10696-0\_7},
doi = {10.1007/978-3-319-10696-0\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AdzkiyaSA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AdzkiyaSA14,
author = {Dieky Adzkiya and
Bart De Schutter and
Alessandro Abate},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Forward Reachability Computation for Autonomous Max-Plus-Linear Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {248--262},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_17},
doi = {10.1007/978-3-642-54862-8\_17},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AdzkiyaSA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SoudjaniA14,
author = {Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Precise Approximations of the Probability Distribution of a Markov
Process in Time: An Application to Probabilistic Invariance},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {547--561},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_45},
doi = {10.1007/978-3-642-54862-8\_45},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/SoudjaniA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/AdzkiyaSA14,
author = {Dieky Adzkiya and
Bart De Schutter and
Alessandro Abate},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Backward Reachability of Autonomous Max-Plus-Linear Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {117--122},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00056},
doi = {10.3182/20140514-3-FR-4046.00056},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/AdzkiyaSA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZamaniMA14,
author = {Majid Zamani and
Manuel Mazo Jr. and
Alessandro Abate},
title = {Symbolic Models for Networked Control Systems},
journal = {CoRR},
volume = {abs/1401.6396},
year = {2014},
url = {http://arxiv.org/abs/1401.6396},
eprinttype = {arXiv},
eprint = {1401.6396},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ZamaniMA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SoudjaniGA14,
author = {Sadegh Esmaeil Zadeh Soudjani and
Caspar Gevaerts and
Alessandro Abate},
title = {FAUST\({}^{\mbox{2}}\): Formal Abstractions of Uncountable-STate STochastic
processes},
journal = {CoRR},
volume = {abs/1403.3286},
year = {2014},
url = {http://arxiv.org/abs/1403.3286},
eprinttype = {arXiv},
eprint = {1403.3286},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SoudjaniGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZamaniAG14,
author = {Majid Zamani and
Alessandro Abate and
Antoine Girard},
title = {Symbolic Models for Stochastic Switched Systems: {A} Discretization
and a Discretization-Free Approach},
journal = {CoRR},
volume = {abs/1407.2730},
year = {2014},
url = {http://arxiv.org/abs/1407.2730},
eprinttype = {arXiv},
eprint = {1407.2730},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ZamaniAG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TkachevMKA14,
author = {Ilya Tkachev and
Alexandru Mereacre and
Joost{-}Pieter Katoen and
Alessandro Abate},
title = {Quantitative model-checking of controlled discrete-time Markov processes},
journal = {CoRR},
volume = {abs/1407.5449},
year = {2014},
url = {http://arxiv.org/abs/1407.5449},
eprinttype = {arXiv},
eprint = {1407.5449},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TkachevMKA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HaesaertBA14,
author = {Sofie Haesaert and
Robert Babuska and
Alessandro Abate},
title = {Sampling-based Approximations with Quantitative Performance for the
Probabilistic Reach-Avoid Problem over General Markov Processes},
journal = {CoRR},
volume = {abs/1409.0553},
year = {2014},
url = {http://arxiv.org/abs/1409.0553},
eprinttype = {arXiv},
eprint = {1409.0553},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HaesaertBA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbateFHS14,
author = {Alessandro Abate and
Martin Fr{\"{a}}nzle and
Ian A. Hiskens and
Martin Strelec},
title = {Modeling, Verification, and Control of Complex Systems for Energy
Networks (Dagstuhl Seminar 14441)},
journal = {Dagstuhl Reports},
volume = {4},
number = {10},
pages = {69--97},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.10.69},
doi = {10.4230/DAGREP.4.10.69},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AbateFHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/DingKSALT13,
author = {Jerry Ding and
Maryam Kamgarpour and
Sean Summers and
Alessandro Abate and
John Lygeros and
Claire J. Tomlin},
title = {A stochastic games framework for verification and control of discrete
time stochastic hybrid systems},
journal = {Autom.},
volume = {49},
number = {9},
pages = {2665--2674},
year = {2013},
url = {https://doi.org/10.1016/j.automatica.2013.05.025},
doi = {10.1016/J.AUTOMATICA.2013.05.025},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/DingKSALT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamads/SoudjaniA13,
author = {Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
title = {Adaptive and Sequential Gridding Procedures for the Abstraction and
Verification of Stochastic Processes},
journal = {{SIAM} J. Appl. Dyn. Syst.},
volume = {12},
number = {2},
pages = {921--956},
year = {2013},
url = {https://doi.org/10.1137/120871456},
doi = {10.1137/120871456},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamads/SoudjaniA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/AdzkiyaSA13,
author = {Dieky Adzkiya and
Bart De Schutter and
Alessandro Abate},
title = {Finite Abstractions of Max-Plus-Linear Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {58},
number = {12},
pages = {3039--3053},
year = {2013},
url = {https://doi.org/10.1109/TAC.2013.2273299},
doi = {10.1109/TAC.2013.2273299},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/AdzkiyaSA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AdzkiyaSA13,
author = {Dieky Adzkiya and
Bart De Schutter and
Alessandro Abate},
title = {Finite abstractions of nonautonomous Max-Plus-Linear systems},
booktitle = {American Control Conference, {ACC} 2013, Washington, DC, USA, June
17-19, 2013},
pages = {4387--4392},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ACC.2013.6580515},
doi = {10.1109/ACC.2013.6580515},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/AdzkiyaSA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/DingAT13,
author = {Jerry Ding and
Alessandro Abate and
Claire J. Tomlin},
title = {Optimal control of partially observable discrete time stochastic hybrid
systems for safety specifications},
booktitle = {American Control Conference, {ACC} 2013, Washington, DC, USA, June
17-19, 2013},
pages = {6231--6236},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ACC.2013.6580815},
doi = {10.1109/ACC.2013.6580815},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/DingAT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/TkachevA13,
author = {Ilya Tkachev and
Alessandro Abate},
title = {A control Lyapunov function approach for the computation of the infinite-horizon
stochastic reach-avoid problem},
booktitle = {Proceedings of the 52nd {IEEE} Conference on Decision and Control,
{CDC} 2013, Florence, Italy, December 10-13, 2013},
pages = {3211--3216},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CDC.2013.6760373},
doi = {10.1109/CDC.2013.6760373},
timestamp = {Fri, 04 Mar 2022 13:29:02 +0100},
biburl = {https://dblp.org/rec/conf/cdc/TkachevA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ZamaniEMAL13,
author = {Majid Zamani and
Peyman Mohajerin Esfahani and
Rupak Majumdar and
Alessandro Abate and
John Lygeros},
title = {Bisimilar finite abstractions of stochastic control systems},
booktitle = {Proceedings of the 52nd {IEEE} Conference on Decision and Control,
{CDC} 2013, Florence, Italy, December 10-13, 2013},
pages = {3926--3931},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CDC.2013.6760489},
doi = {10.1109/CDC.2013.6760489},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/ZamaniEMAL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/SoudjaniA13,
author = {Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
title = {Aggregation of thermostatically controlled loads by formal abstractions},
booktitle = {12th European Control Conference, {ECC} 2013, Zurich, Switzerland,
July 17-19, 2013},
pages = {4232--4237},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.23919/ECC.2013.6669547},
doi = {10.23919/ECC.2013.6669547},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/eucc/SoudjaniA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/ZamaniEAL13,
author = {Majid Zamani and
Peyman Mohajerin Esfahani and
Alessandro Abate and
John Lygeros},
title = {Symbolic models for stochastic control systems without stability assumptions},
booktitle = {12th European Control Conference, {ECC} 2013, Zurich, Switzerland,
July 17-19, 2013},
pages = {4257--4262},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.23919/ECC.2013.6669650},
doi = {10.23919/ECC.2013.6669650},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eucc/ZamaniEAL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/TkachevA13,
author = {Ilya Tkachev and
Alessandro Abate},
editor = {Calin Belta and
Franjo Ivancic},
title = {Formula-free finite abstractions for linear temporal verification
of stochastic hybrid systems},
booktitle = {Proceedings of the 16th international conference on Hybrid systems:
computation and control, {HSCC} 2013, April 8-11, 2013, Philadelphia,
PA, {USA}},
pages = {283--292},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2461328.2461372},
doi = {10.1145/2461328.2461372},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/TkachevA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/TkachevMKA13,
author = {Ilya Tkachev and
Alexandru Mereacre and
Joost{-}Pieter Katoen and
Alessandro Abate},
editor = {Calin Belta and
Franjo Ivancic},
title = {Quantitative automata-based controller synthesis for non-autonomous
stochastic hybrid systems},
booktitle = {Proceedings of the 16th international conference on Hybrid systems:
computation and control, {HSCC} 2013, April 8-11, 2013, Philadelphia,
PA, {USA}},
pages = {293--302},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2461328.2461373},
doi = {10.1145/2461328.2461373},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/TkachevMKA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AdzkiyaA13,
author = {Dieky Adzkiya and
Alessandro Abate},
editor = {Kaustubh R. Joshi and
Markus Siegle and
Mari{\"{e}}lle Stoelinga and
Pedro R. D'Argenio},
title = {VeriSiMPL: Verification via biSimulations of {MPL} Models},
booktitle = {Quantitative Evaluation of Systems - 10th International Conference,
{QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8054},
pages = {274--277},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40196-1\_22},
doi = {10.1007/978-3-642-40196-1\_22},
timestamp = {Sat, 30 Sep 2023 09:55:03 +0200},
biburl = {https://dblp.org/rec/conf/qest/AdzkiyaA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/ZamaniA13,
author = {Majid Zamani and
Alessandro Abate},
editor = {Kaustubh R. Joshi and
Markus Siegle and
Mari{\"{e}}lle Stoelinga and
Pedro R. D'Argenio},
title = {Symbolic Control of Stochastic Switched Systems via Finite Abstractions},
booktitle = {Quantitative Evaluation of Systems - 10th International Conference,
{QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8054},
pages = {305--321},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40196-1\_27},
doi = {10.1007/978-3-642-40196-1\_27},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/ZamaniA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-3868,
author = {Majid Zamani and
Peyman Mohajerin Esfahani and
Rupak Majumdar and
Alessandro Abate and
John Lygeros},
title = {Symbolic control of stochastic systems via approximately bisimilar
finite abstractions},
journal = {CoRR},
volume = {abs/1302.3868},
year = {2013},
url = {http://arxiv.org/abs/1302.3868},
eprinttype = {arXiv},
eprint = {1302.3868},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-3868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SoudjaniA13,
author = {Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
title = {Aggregation and Control of Populations of Thermostatically Controlled
Loads by Formal Abstractions},
journal = {CoRR},
volume = {abs/1307.6716},
year = {2013},
url = {http://arxiv.org/abs/1307.6716},
eprinttype = {arXiv},
eprint = {1307.6716},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SoudjaniA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/Vitus0AHT12,
author = {Michael P. Vitus and
Wei Zhang and
Alessandro Abate and
Jianghai Hu and
Claire J. Tomlin},
title = {On efficient sensor scheduling for linear dynamical systems},
journal = {Autom.},
volume = {48},
number = {10},
pages = {2482--2493},
year = {2012},
url = {https://doi.org/10.1016/j.automatica.2012.06.092},
doi = {10.1016/J.AUTOMATICA.2012.06.092},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/Vitus0AHT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scl/BalandatZA12,
author = {Maximilian Balandat and
Wei Zhang and
Alessandro Abate},
title = {On infinite horizon switched {LQR} problems with state and control
constraints},
journal = {Syst. Control. Lett.},
volume = {61},
number = {4},
pages = {464--471},
year = {2012},
url = {https://doi.org/10.1016/j.sysconle.2012.01.011},
doi = {10.1016/J.SYSCONLE.2012.01.011},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scl/BalandatZA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/ZhangHA12,
author = {Wei Zhang and
Jianghai Hu and
Alessandro Abate},
title = {Infinite-Horizon Switched {LQR} Problems in Discrete Time: {A} Suboptimal
Algorithm With Performance Analysis},
journal = {{IEEE} Trans. Autom. Control.},
volume = {57},
number = {7},
pages = {1815--1821},
year = {2012},
url = {https://doi.org/10.1109/TAC.2011.2178649},
doi = {10.1109/TAC.2011.2178649},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/ZhangHA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/AbateVDSMAT12,
author = {Alessandro Abate and
St{\'{e}}phane Vincent and
Roel Dobbe and
Alberto Silletti and
Neal Master and
Jeffrey D. Axelrod and
Claire J. Tomlin},
title = {A Mathematical Model to Study the Dynamics of Epithelial Cellular
Networks},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {9},
number = {6},
pages = {1607--1620},
year = {2012},
url = {https://doi.org/10.1109/TCBB.2012.126},
doi = {10.1109/TCBB.2012.126},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/AbateVDSMAT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AdzkiyaSA12,
author = {Dieky Adzkiya and
Bart De Schutter and
Alessandro Abate},
title = {Abstraction and verification of autonomous Max-Plus-Linear systems},
booktitle = {American Control Conference, {ACC} 2012, Montreal, QC, Canada, June
27-29, 2012},
pages = {721--726},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ACC.2012.6314945},
doi = {10.1109/ACC.2012.6314945},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/AdzkiyaSA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SoudjaniA12,
author = {Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Higher-Order Approximations for Verification of Stochastic Hybrid
Systems},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {416--434},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_32},
doi = {10.1007/978-3-642-33386-6\_32},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/SoudjaniA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/TkachevA12,
author = {Ilya Tkachev and
Alessandro Abate},
title = {Stability and attractivity of absorbing sets for discrete-time Markov
processes},
booktitle = {Proceedings of the 51th {IEEE} Conference on Decision and Control,
{CDC} 2012, December 10-13, 2012, Maui, HI, {USA}},
pages = {7652--7657},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CDC.2012.6426410},
doi = {10.1109/CDC.2012.6426410},
timestamp = {Fri, 04 Mar 2022 13:28:47 +0100},
biburl = {https://dblp.org/rec/conf/cdc/TkachevA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SoudjaniA12,
author = {Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
editor = {Thao Dang and
Ian M. Mitchell},
title = {Probabilistic invariance of mixed deterministic-stochastic dynamical
systems},
booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),
HSCC'12, Beijing, China, April 17-19, 2012},
pages = {207--216},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2185632.2185664},
doi = {10.1145/2185632.2185664},
timestamp = {Tue, 03 Aug 2021 16:22:20 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SoudjaniA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/TkachevA12,
author = {Ilya Tkachev and
Alessandro Abate},
editor = {Thao Dang and
Ian M. Mitchell},
title = {Regularization of bellman equations for infinite-horizon probabilistic
properties},
booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),
HSCC'12, Beijing, China, April 17-19, 2012},
pages = {227--236},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2185632.2185666},
doi = {10.1145/2185632.2185666},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/TkachevA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DInnocenzoAK12,
author = {Alessandro D'Innocenzo and
Alessandro Abate and
Joost{-}Pieter Katoen},
editor = {Thao Dang and
Ian M. Mitchell},
title = {Robust {PCTL} model checking},
booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),
HSCC'12, Beijing, China, April 17-19, 2012},
pages = {275--286},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2185632.2185673},
doi = {10.1145/2185632.2185673},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/DInnocenzoAK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgteurope/StrelecMA12,
author = {Martin Strelec and
Karel Macek and
Alessandro Abate},
title = {Modeling and simulation of a microgrid as a Stochastic Hybrid System},
booktitle = {3rd {IEEE} {PES} Innovative Smart Grid Technologies Europe, {ISGT}
Europe 2012, Berlin, Germany, October 14-17, 2012},
pages = {1--9},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ISGTEurope.2012.6465655},
doi = {10.1109/ISGTEUROPE.2012.6465655},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/isgteurope/StrelecMA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-4346,
author = {Ilya Tkachev and
Alessandro Abate},
title = {Characterization and computation of infinite horizon specifications
over Markov processes},
journal = {CoRR},
volume = {abs/1211.4346},
year = {2012},
url = {http://arxiv.org/abs/1211.4346},
eprinttype = {arXiv},
eprint = {1211.4346},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-4346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/prl/SillettiAAT11,
author = {Alberto Silletti and
Alessandro Abate and
Jeffrey D. Axelrod and
Claire J. Tomlin},
title = {Versatile spectral methods for point set matching},
journal = {Pattern Recognit. Lett.},
volume = {32},
number = {5},
pages = {731--739},
year = {2011},
url = {https://doi.org/10.1016/j.patrec.2010.11.022},
doi = {10.1016/J.PATREC.2010.11.022},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/prl/SillettiAAT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/AbateDB11,
author = {Alessandro Abate and
Alessandro D'Innocenzo and
Maria Domenica Di Benedetto},
title = {Approximate Abstractions of Stochastic Hybrid Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {56},
number = {11},
pages = {2688--2694},
year = {2011},
url = {https://doi.org/10.1109/TAC.2011.2160595},
doi = {10.1109/TAC.2011.2160595},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/AbateDB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/TkachevA11,
author = {Ilya Tkachev and
Alessandro Abate},
title = {On infinite-horizon probabilistic properties and stochastic bisimulation
functions},
booktitle = {50th {IEEE} Conference on Decision and Control and European Control
Conference, 11th European Control Conference, {CDC/ECC} 2011, Orlando,
FL, USA, December 12-15, 2011},
pages = {526--531},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CDC.2011.6160617},
doi = {10.1109/CDC.2011.6160617},
timestamp = {Wed, 24 Feb 2021 08:49:08 +0100},
biburl = {https://dblp.org/rec/conf/cdc/TkachevA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AbateP11,
author = {Alessandro Abate and
Maria Prandini},
title = {Approximate abstractions of stochastic systems: {A} randomized method},
booktitle = {50th {IEEE} Conference on Decision and Control and European Control
Conference, 11th European Control Conference, {CDC/ECC} 2011, Orlando,
FL, USA, December 12-15, 2011},
pages = {4861--4866},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CDC.2011.6161148},
doi = {10.1109/CDC.2011.6161148},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/AbateP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/KamgarpourDSALT11,
author = {Maryam Kamgarpour and
Jerry Ding and
Sean Summers and
Alessandro Abate and
John Lygeros and
Claire J. Tomlin},
title = {Discrete time stochastic hybrid dynamical games: Verification {\&}
controller synthesis},
booktitle = {50th {IEEE} Conference on Decision and Control and European Control
Conference, 11th European Control Conference, {CDC/ECC} 2011, Orlando,
FL, USA, December 12-15, 2011},
pages = {6122--6127},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CDC.2011.6161218},
doi = {10.1109/CDC.2011.6161218},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/KamgarpourDSALT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AbateKM11,
author = {Alessandro Abate and
Joost{-}Pieter Katoen and
Alexandru Mereacre},
editor = {Marco Caccamo and
Emilio Frazzoli and
Radu Grosu},
title = {Quantitative automata model checking of autonomous stochastic hybrid
systems},
booktitle = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14,
2011},
pages = {83--92},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1967701.1967715},
doi = {10.1145/1967701.1967715},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AbateKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/SoudjaniA11,
author = {Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate},
title = {Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid
Systems},
booktitle = {Eighth International Conference on Quantitative Evaluation of Systems,
{QEST} 2011, Aachen, Germany, 5-8 September, 2011},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QEST.2011.16},
doi = {10.1109/QEST.2011.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/SoudjaniA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Abate13,
author = {Alessandro Abate},
editor = {Martin Fr{\"{a}}nzle and
Antonios Tsourdos},
title = {Approximation Metrics Based on Probabilistic Bisimulations for General
State-Space Markov Processes: {A} Survey},
booktitle = {Proceedings of the First Workshop on Hybrid Autonomous Systems, affiliated
to {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {297},
pages = {3--25},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2013.12.002},
doi = {10.1016/J.ENTCS.2013.12.002},
timestamp = {Tue, 22 Nov 2022 14:18:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Abate13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/AbateKLP10,
author = {Alessandro Abate and
Joost{-}Pieter Katoen and
John Lygeros and
Maria Prandini},
title = {Approximate Model Checking of Stochastic Hybrid Systems},
journal = {Eur. J. Control},
volume = {16},
number = {6},
pages = {624--641},
year = {2010},
url = {https://doi.org/10.3166/ejc.16.624-641},
doi = {10.3166/EJC.16.624-641},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejcon/AbateKLP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scl/AbateLS10,
author = {Alessandro Abate and
John Lygeros and
Shankar S. Sastry},
title = {Probabilistic safety and optimal control for survival analysis of
Bacillus subtilis},
journal = {Syst. Control. Lett.},
volume = {59},
number = {1},
pages = {79--85},
year = {2010},
url = {https://doi.org/10.1016/j.sysconle.2009.12.003},
doi = {10.1016/J.SYSCONLE.2009.12.003},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scl/AbateLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/VitusZAHT10,
author = {Michael P. Vitus and
Wei Zhang and
Alessandro Abate and
Jianghai Hu and
Claire J. Tomlin},
title = {On efficient sensor scheduling for linear dynamical systems},
booktitle = {American Control Conference, {ACC} 2010, Baltimore, Maryland, USA,
June 30 - July 2, 2010},
pages = {4833--4838},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ACC.2010.5530899},
doi = {10.1109/ACC.2010.5530899},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/VitusZAHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ZhangVHAT10,
author = {Wei Zhang and
Michael P. Vitus and
Jianghai Hu and
Alessandro Abate and
Claire J. Tomlin},
title = {On the optimal solutions of the infinite-horizon linear sensor scheduling
problem},
booktitle = {Proceedings of the 49th {IEEE} Conference on Decision and Control,
{CDC} 2010, December 15-17, 2010, Atlanta, Georgia, {USA}},
pages = {396--401},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/CDC.2010.5717163},
doi = {10.1109/CDC.2010.5717163},
timestamp = {Fri, 04 Mar 2022 13:28:01 +0100},
biburl = {https://dblp.org/rec/conf/cdc/ZhangVHAT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/VitusZAHT10,
author = {Michael P. Vitus and
Wei Zhang and
Alessandro Abate and
Jianghai Hu and
Claire J. Tomlin},
title = {On sensor scheduling of linear dynamical systems with error bounds},
booktitle = {Proceedings of the 49th {IEEE} Conference on Decision and Control,
{CDC} 2010, December 15-17, 2010, Atlanta, Georgia, {USA}},
pages = {1318--1323},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/CDC.2010.5717207},
doi = {10.1109/CDC.2010.5717207},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/VitusZAHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BalandatZA10,
author = {Maximilian Balandat and
Wei Zhang and
Alessandro Abate},
title = {On the infinite horizon constrained switched {LQR} problem},
booktitle = {Proceedings of the 49th {IEEE} Conference on Decision and Control,
{CDC} 2010, December 15-17, 2010, Atlanta, Georgia, {USA}},
pages = {2131--2136},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/CDC.2010.5716972},
doi = {10.1109/CDC.2010.5716972},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/BalandatZA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Abate10,
author = {Alessandro Abate},
title = {Probabilistic bisimulations of switching and resetting diffusions},
booktitle = {Proceedings of the 49th {IEEE} Conference on Decision and Control,
{CDC} 2010, December 15-17, 2010, Atlanta, Georgia, {USA}},
pages = {5918--5923},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/CDC.2010.5717751},
doi = {10.1109/CDC.2010.5717751},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/Abate10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/AbateTS09,
author = {Alessandro Abate and
Ashish Tiwari and
Shankar Sastry},
title = {Box invariance in biologically-inspired dynamical systems},
journal = {Autom.},
volume = {45},
number = {7},
pages = {1601--1610},
year = {2009},
url = {https://doi.org/10.1016/j.automatica.2009.02.028},
doi = {10.1016/J.AUTOMATICA.2009.02.028},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/AbateTS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/ZhangAHV09,
author = {Wei Zhang and
Alessandro Abate and
Jianghai Hu and
Michael P. Vitus},
title = {Exponential stabilization of discrete-time switched linear systems},
journal = {Autom.},
volume = {45},
number = {11},
pages = {2526--2536},
year = {2009},
url = {https://doi.org/10.1016/j.automatica.2009.07.018},
doi = {10.1016/J.AUTOMATICA.2009.07.018},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/ZhangAHV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/ZhangHA09,
author = {Wei Zhang and
Jianghai Hu and
Alessandro Abate},
title = {On the Value Functions of the Discrete-Time Switched {LQR} Problem},
journal = {{IEEE} Trans. Autom. Control.},
volume = {54},
number = {11},
pages = {2669--2674},
year = {2009},
url = {https://doi.org/10.1109/TAC.2009.2031574},
doi = {10.1109/TAC.2009.2031574},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/ZhangHA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ZhangAH09,
author = {Wei Zhang and
Alessandro Abate and
Jianghai Hu},
title = {Efficient suboptimal solutions of switched {LQR} problems},
booktitle = {American Control Conference, {ACC} 2009. St. Louis, Missouri, USA,
June 10-12, 2009},
pages = {1084--1091},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ACC.2009.5160616},
doi = {10.1109/ACC.2009.5160616},
timestamp = {Fri, 03 Dec 2021 13:02:58 +0100},
biburl = {https://dblp.org/rec/conf/amcc/ZhangAH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ZhangAVH09,
author = {Wei Zhang and
Alessandro Abate and
Michael P. Vitus and
Jianghai Hu},
title = {On piecewise quadratic control-Lyapunov functions for switched linear
systems},
booktitle = {Proceedings of the 48th {IEEE} Conference on Decision and Control,
{CDC} 2009, combined withe the 28th Chinese Control Conference, December
16-18, 2009, Shanghai, China},
pages = {1088--1093},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CDC.2009.5400642},
doi = {10.1109/CDC.2009.5400642},
timestamp = {Fri, 04 Mar 2022 13:27:41 +0100},
biburl = {https://dblp.org/rec/conf/cdc/ZhangAVH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Abate09,
author = {Alessandro Abate},
title = {A contractivity approach for probabilistic bisimulations of diffusion
processes},
booktitle = {Proceedings of the 48th {IEEE} Conference on Decision and Control,
{CDC} 2009, combined withe the 28th Chinese Control Conference, December
16-18, 2009, Shanghai, China},
pages = {2230--2235},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CDC.2009.5400334},
doi = {10.1109/CDC.2009.5400334},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/Abate09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ZhangAH09,
author = {Wei Zhang and
Alessandro Abate and
Jianghai Hu},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Stabilization of Discrete-Time Switched Linear Systems: {A} Control-Lyapunov
Function Approach},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {411--425},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_29},
doi = {10.1007/978-3-642-00602-9\_29},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ZhangAH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/visapp/SillettiCA09,
author = {Alberto Silletti and
Angelo Cenedese and
Alessandro Abate},
editor = {Alpesh Ranchordas and
Helder Ara{\'{u}}jo},
title = {The Emergent Structure of the Drosophila Wing - {A} Dynamic Model
Generator},
booktitle = {{VISAPP} 2009 - Proceedings of the Fourth International Conference
on Computer Vision Theory and Applications, Lisboa, Portugal, February
5-8, 2009 - Volume 1},
pages = {406--410},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Fri, 07 Jan 2011 13:47:42 +0100},
biburl = {https://dblp.org/rec/conf/visapp/SillettiCA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/AbatePLS08,
author = {Alessandro Abate and
Maria Prandini and
John Lygeros and
Shankar Sastry},
title = {Probabilistic reachability and safety for controlled discrete time
stochastic hybrid systems},
journal = {Autom.},
volume = {44},
number = {11},
pages = {2724--2734},
year = {2008},
url = {https://doi.org/10.1016/j.automatica.2008.03.027},
doi = {10.1016/J.AUTOMATICA.2008.03.027},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/AbatePLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/DInnocenzoAB08,
author = {Alessandro D'Innocenzo and
Alessandro Abate and
Maria Domenica Di Benedetto},
title = {Approximate abstractions of discrete-time controlled stochastic hybrid
systems},
booktitle = {Proceedings of the 47th {IEEE} Conference on Decision and Control,
{CDC} 2008, December 9-11, 2008, Canc{\'{u}}n, Mexico},
pages = {221--226},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CDC.2008.4739270},
doi = {10.1109/CDC.2008.4739270},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/DInnocenzoAB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AbatePLS08,
author = {Alessandro Abate and
Maria Prandini and
John Lygeros and
Shankar Sastry},
title = {An approximate dynamic programming approach to probabilistic reachability
for stochastic hybrid systems},
booktitle = {Proceedings of the 47th {IEEE} Conference on Decision and Control,
{CDC} 2008, December 9-11, 2008, Canc{\'{u}}n, Mexico},
pages = {4018--4023},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CDC.2008.4739410},
doi = {10.1109/CDC.2008.4739410},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/AbatePLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AbateDBS08,
author = {Alessandro Abate and
Alessandro D'Innocenzo and
Maria Domenica Di Benedetto and
Shankar Sastry},
editor = {Magnus Egerstedt and
Bud Mishra},
title = {Markov Set-Chains as Abstractions of Stochastic Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 11th International Workshop,
{HSCC} 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4981},
pages = {1--15},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78929-1\_1},
doi = {10.1007/978-3-540-78929-1\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AbateDBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AbatePLS08,
author = {Alessandro Abate and
Maria Prandini and
John Lygeros and
Shankar Sastry},
editor = {Magnus Egerstedt and
Bud Mishra},
title = {Approximation of General Stochastic Hybrid Systems by Switching Diffusions
with Random Hybrid Jumps},
booktitle = {Hybrid Systems: Computation and Control, 11th International Workshop,
{HSCC} 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4981},
pages = {598--601},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78929-1\_43},
doi = {10.1007/978-3-540-78929-1\_43},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AbatePLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibe/AbateBSTT07,
author = {Alessandro Abate and
Yu Bai and
Nathalie Sznajder and
Carolyn L. Talcott and
Ashish Tiwari},
title = {Quantitative and Probabilistic Modeling in Pathway Logic},
booktitle = {Proceedings of the 7th {IEEE} International Conference on Bioinformatics
and Bioengineering, {BIBE} 2007, October 14-17, 2007, Harvard Medical
School, Boston, MA, {USA}},
pages = {922--929},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/BIBE.2007.4375669},
doi = {10.1109/BIBE.2007.4375669},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibe/AbateBSTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AmesAS07,
author = {Aaron D. Ames and
Alessandro Abate and
Shankar Sastry},
title = {Sufficient conditions for the existence of zeno behavior in a class
of nonlinear hybrid systems via constant approximations},
booktitle = {46th {IEEE} Conference on Decision and Control, {CDC} 2007, New Orleans,
LA, USA, December 12-14, 2007},
pages = {4033--4038},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CDC.2007.4434891},
doi = {10.1109/CDC.2007.4434891},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/AmesAS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AbateTS07,
author = {Alessandro Abate and
Ashish Tiwari and
Shankar Sastry},
title = {Box invariance for biologically-inspired dynamical systems},
booktitle = {46th {IEEE} Conference on Decision and Control, {CDC} 2007, New Orleans,
LA, USA, December 12-14, 2007},
pages = {5162--5167},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CDC.2007.4434569},
doi = {10.1109/CDC.2007.4434569},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/AbateTS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AbateAPLS07,
author = {Alessandro Abate and
Saurabh Amin and
Maria Prandini and
John Lygeros and
Shankar Sastry},
editor = {Alberto Bemporad and
Antonio Bicchi and
Giorgio C. Buttazzo},
title = {Computational Approaches to Reachability Analysis of Stochastic Hybrid
Systems},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop,
{HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4416},
pages = {4--17},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71493-4\_4},
doi = {10.1007/978-3-540-71493-4\_4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AbateAPLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AbateDPBS07,
author = {Alessandro Abate and
Alessandro D'Innocenzo and
Giordano Pola and
Maria Domenica Di Benedetto and
Shankar Sastry},
editor = {Alberto Bemporad and
Antonio Bicchi and
Giorgio C. Buttazzo},
title = {The Concept of Deadlock and Livelock in Hybrid Control Systems},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop,
{HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4416},
pages = {628--632},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71493-4\_48},
doi = {10.1007/978-3-540-71493-4\_48},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AbateDPBS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/AbateT06,
author = {Alessandro Abate and
Ashish Tiwari},
editor = {Christos G. Cassandras and
Alessandro Giua and
Carla Seatzu and
Janan Zaytoon},
title = {Box invariance of Hybrid and switched Systems},
booktitle = {2nd {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2006, Alghero, Italy, June 7-9, 2006},
series = {{IFAC} Proceedings Volumes},
volume = {39},
number = {5},
pages = {359--364},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.3182/20060607-3-IT-3902.00066},
doi = {10.3182/20060607-3-IT-3902.00066},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/AbateT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AbateA006,
author = {Alessandro Abate and
Aaron D. Ames and
Shankar Sastry},
title = {A priori detection of Zeno behavior in communication networks modeled
as hybrid systems},
booktitle = {American Control Conference, {ACC} 2006, Minneapolis, MN, USA, 14-16
June, 2006},
pages = {1--6},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ACC.2006.1657234},
doi = {10.1109/ACC.2006.1657234},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/AbateA006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AbateA006a,
author = {Alessandro Abate and
Aaron D. Ames and
Shankar Sastry},
title = {Error bounds based stochastic approximations and simulations of hybrid
dynamical systems},
booktitle = {American Control Conference, {ACC} 2006, Minneapolis, MN, USA, 14-16
June, 2006},
pages = {1--6},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ACC.2006.1657470},
doi = {10.1109/ACC.2006.1657470},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/AbateA006a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AbateAPLS06,
author = {Alessandro Abate and
Saurabh Amin and
Maria Prandini and
John Lygeros and
Shankar Sastry},
title = {Probabilistic reachability and safe sets computation for discrete
time stochastic hybrid systems},
booktitle = {45th {IEEE} Conference on Decision and Control, {CDC} 2006, San Diego,
CA, USA, December 13-15, 2006},
pages = {258--263},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/CDC.2006.377091},
doi = {10.1109/CDC.2006.377091},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/AbateAPLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AminAPLS06,
author = {Saurabh Amin and
Alessandro Abate and
Maria Prandini and
John Lygeros and
Shankar Sastry},
editor = {Jo{\~{a}}o P. Hespanha and
Ashish Tiwari},
title = {Reachability Analysis for Controlled Discrete Time Stochastic Hybrid
Systems},
booktitle = {Hybrid Systems: Computation and Control, 9th International Workshop,
{HSCC} 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3927},
pages = {49--63},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11730637\_7},
doi = {10.1007/11730637\_7},
timestamp = {Wed, 30 Aug 2023 16:03:58 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AminAPLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AbateAS05,
author = {Alessandro Abate and
Aaron D. Ames and
S. Shankar Sastry},
title = {Stochastic approximations of hybrid systems},
booktitle = {American Control Conference, {ACC} 2005, Portland, OR, USA, 8-10 June,
2005},
pages = {1557--1562},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ACC.2005.1470189},
doi = {10.1109/ACC.2005.1470189},
timestamp = {Fri, 07 Oct 2022 18:48:01 +0200},
biburl = {https://dblp.org/rec/conf/amcc/AbateAS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AmesAS05,
author = {Aaron D. Ames and
Alessandro Abate and
Shankar Sastry},
title = {Sufficient Conditions for the Existence of Zeno Behavior},
booktitle = {44th {IEEE} {IEEE} Conference on Decision and Control and 8th European
Control Conference Control, {CDC/ECC} 2005, Seville, Spain, 12-15
December, 2005},
pages = {696--701},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/CDC.2005.1582237},
doi = {10.1109/CDC.2005.1582237},
timestamp = {Mon, 02 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/AmesAS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ShiAS04,
author = {Ling Shi and
Alessandro Abate and
Shankar Sastry},
title = {Optimal control for a class of stochastic hybrid systems},
booktitle = {43rd {IEEE} Conference on Decision and Control, {CDC} 2004, Nassau,
Bahamas, December 14-17, 2004},
pages = {1842--1847},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/CDC.2004.1430315},
doi = {10.1109/CDC.2004.1430315},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/ShiAS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AbateG04,
author = {Alessandro Abate and
Laurent El Ghaoui},
title = {Robust model predictive control through adjustable variables: an application
to path planning},
booktitle = {43rd {IEEE} Conference on Decision and Control, {CDC} 2004, Nassau,
Bahamas, December 14-17, 2004},
pages = {2485--2490},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/CDC.2004.1428786},
doi = {10.1109/CDC.2004.1428786},
timestamp = {Tue, 18 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/AbateG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-07 22:27 CEST 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:
