A. Abate
发表
Ling Shi,
S. Shankar Sastry,
Alessandro Abate,
2005
.
L. Ghaoui,
A. Abate,
2004,
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
Sofie Haesaert,
Alessandro Abate,
Paul M. J. Van den Hof,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
A. Abate,
R. Hillen,
S. Aljoscha Wahl,
2012
.
Sofie Haesaert,
Alessandro Abate,
Paul M. J. Van den Hof,
2017,
Autom..
Alessandro Abate,
Marta Z. Kwiatkowska,
Gethin Norman,
2014,
Horizons of the Mind.
Ashish Tiwari,
S. Shankar Sastry,
Alessandro Abate,
2009,
2007 46th IEEE Conference on Decision and Control.
Alessandro Abate,
A. Abate,
2013,
Hybrid Autonomous Systems@ETAPS.
John Lygeros,
S. Shankar Sastry,
Alessandro Abate,
2010,
Syst. Control. Lett..
John Lygeros,
S. Shankar Sastry,
Saurabh Amin,
2007,
HSCC.
Ashish Tiwari,
S. Shankar Sastry,
Alessandro Abate,
2007,
2007 46th IEEE Conference on Decision and Control.
Karel Macek,
Nathalie Cauchi,
Alessandro Abate,
2017
.
D. Kroening,
A. Abate,
Mohammadhosein Hasanbeig,
2018,
AAMAS.
Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka–Volterra model
A. Abate,
M. Sabelis,
K. Staňková,
2013,
Journal of mathematical biology.
S. Sastry,
S. Sastry,
A. Abate,
2004,
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
A. Abate,
Kendra Lesser,
2017,
IEEE Transactions on Control Systems Technology.
Jianghai Hu,
Alessandro Abate,
Wei Zhang,
2011
.
Jianghai Hu,
Alessandro Abate,
Wei Zhang,
2009
.
Wei Zhang,
A. Abate,
Jianghai Hu,
2009
.
J. Lygeros,
A. Abate,
M. Prandini,
2011
.
A. Abate,
S. Haesaert,
E. Polgreen,
2017
.
C. Tomlin,
J. Lygeros,
M. Kamgarpour,
2011
.
John Lygeros,
Maryam Kamgarpour,
Alessandro Abate,
2011
.
A. Abate,
Shashank Pathak,
V. Indelman,
2016
.
A. Abate,
I. Tkachev,
2013,
1308.5152.
C. Tomlin,
J. Lygeros,
M. Kamgarpour,
2011
.
S. Sastry,
A. Abate,
Minghua Chen,
2005
.
Maria Domenica Di Benedetto,
Alessandro Abate,
Alessandro D'Innocenzo,
2011,
IEEE Transactions on Automatic Control.
Sofie Haesaert,
Martin Fränzle,
Henk A. P. Blom,
2019,
ARCH@CPSIoTWeek.
A. Abate,
Y. Almulla,
James Fox,
2022,
ArXiv.
D. Kroening,
A. Abate,
P. Schrammel,
2017
.
D. Kroening,
A. Abate,
Mohammadhosein Hasanbeig,
2022,
QEST.
John Lygeros,
S. Shankar Sastry,
Saurabh Amin,
2006
.
Kim G. Larsen,
Alessandro Abate,
Hamid Reza Momeni,
2021,
ADHS.
Jonathan M. Cullen,
A. Abate,
Scott Jeen,
2022,
ArXiv.
Daniel Jarne Ornia,
A. Abate,
Licio Romao,
2022,
ArXiv.
A. Abate,
Joar Skalse,
Lewis Hammond,
2022,
IJCAI.
D. Kroening,
A. Abate,
L. Cordeiro,
2019
.
D. Kroening,
A. Abate,
L. Cordeiro,
2018
.
A. Abate,
S. Soudjani,
2012
.
Gert R. G. Lanckriet,
Alessandro Abate,
F. Dal Moro,
2007
.
Alessandro Abate,
Sylvie Boldo,
S. Boldo,
2017
.
A. Abate,
Y. Almulla,
James Fox,
2022,
ArXiv.
Claire J. Tomlin,
Wei Zhang,
Jianghai Hu,
2012
.
R. Jungers,
A. Abate,
Licio Romao,
2022,
L4DC.
Thom S. Badings,
A. Abate,
Licio Romao,
2022,
AAAI.
Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka–Volterra model
A. Abate,
M. Sabelis,
K. Staňková,
2012,
Journal of Mathematical Biology.
Tom Everitt,
A. Abate,
Ryan Carey,
2023,
ArXiv.
Thom S. Badings,
Hasan A. Poonawala,
A. Abate,
2023,
J. Artif. Intell. Res..
A. Abate,
H. Oberhauser,
Francesco Cosentino,
2021,
IEEE Transactions on Automatic Control.
A. Abate,
Mirco Giacobbe,
Alec Edwards,
2023,
NeurIPS.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2019,
Artif. Intell..
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2018,
AAMAS.
Michael Wooldridge,
Julian Gutierrez,
Alessandro Abate,
2021,
AAMAS.
Alessandro Abate,
Francesco Cosentino,
Harald Oberhauser,
2020,
ArXiv.
Alessandro Abate,
S Aljoscha Wahl,
S. A. Wahl,
2014,
Biotechnology journal.
A. Abate,
F. Dal Moro,
R. Boscolo-Berto,
2008,
Urologia Internationalis.
F Dal Moro,
A Abate,
G R G Lanckriet,
2006,
Kidney international.
Tom Melham,
Daniel Kroening,
Mohammadhosein Hasanbeig,
2021,
AAAI.
Luca Cardelli,
Alessandro Abate,
Morteza Lahijanian,
2020,
IEEE Transactions on Automatic Control.
Luca Cardelli,
Morteza Lahijanian,
Alessandro Abate,
2019,
HSCC.
Maria Domenica Di Benedetto,
Alessandro Abate,
Alessandro D'Innocenzo,
2008,
2008 47th IEEE Conference on Decision and Control.
Alessandro Abate,
Gareth W. Molyneux,
A. Abate,
2020,
CMSB.
Michael Wooldridge,
Alessandro Abate,
Tom Everitt,
2021,
AAMAS.
Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach
Eugenio Cinquemani,
Alessandro Abate,
Alfonso Carta,
2014,
CMSB.
Claire J. Tomlin,
Jianghai Hu,
Alessandro Abate,
2010,
Proceedings of the 2010 American Control Conference.
A. Abate,
M. Sabelis,
K. Staňková,
2013
.
Li You,
Alessandro Abate,
Kateřina Staňková,
2013,
Interface Focus.
Alessandro Abate,
Ilya Tkachev,
A. Abate,
2012,
Theor. Comput. Sci..
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2016,
HSCC.
Alessandro Abate,
Wei Zhang,
Maximilian Balandat,
2012,
Syst. Control. Lett..
Alessandro Abate,
Wei Zhang,
Maximilian Balandat,
2010,
49th IEEE Conference on Decision and Control (CDC).
Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes
pdf
Sofie Haesaert,
Robert Babuska,
Alessandro Abate,
2014,
ArXiv.
S. Shankar Sastry,
Alessandro Abate,
S. Sastry,
2007
.
Stephen J. Roberts,
L. Cardelli,
M. Kwiatkowska,
2019,
ArXiv.
A. Abate,
M. Kwiatkowska,
L. Mahadevan,
2014
.
Stuart J. Russell,
A. Gleave,
A. Abate,
2022,
ArXiv.
A. Abate,
Majid Zamani,
Abolfazl Lavaei,
2021,
ArXiv.
Alessandro Abate,
Milan Ceska,
Marta Z. Kwiatkowska,
2021,
Perform. Evaluation.
Alessandro Abate,
Alessandro D'Innocenzo,
Yuriy Zacchia Lun,
2018,
ADHS.
Sofie Haesaert,
Alessandro Abate,
Sadegh Esmaeil Zadeh Soudjani,
2017,
ADHS.
Alessandro Abate,
Gaoang Bian,
A. Abate,
2017,
FoSSaCS.
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
pdf
Sofie Haesaert,
Alessandro Abate,
Sadegh Esmaeil Zadeh Soudjani,
2016,
QEST.
Lubos Brim,
Alessandro Abate,
Marta Z. Kwiatkowska,
2015,
CAV.
Alessandro Abate,
Ilya Tkachev,
A. Abate,
2014,
HSCC.
Joost-Pieter Katoen,
Alessandro Abate,
Alessandro D'Innocenzo,
2012,
HSCC '12.
Maria Prandini,
Alessandro Abate,
A. Abate,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Alessandro Abate,
A. Abate,
2010,
49th IEEE Conference on Decision and Control (CDC).
Alessandro Abate,
A. Abate,
2009,
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.
Alessandro Abate,
Sadegh Esmaeil Zadeh Soudjani,
Dieky Adzkiya,
2016,
IEEE Transactions on Automatic Control.
Alessandro Abate,
A. Abate,
2016,
NSV@CAV.
Sofie Haesaert,
Alessandro Abate,
Paul M. J. Van den Hof,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Sofie Haesaert,
Alessandro Abate,
Paul M. J. Van den Hof,
2015,
ArXiv.
Alessandro Abate,
Sadegh Esmaeil Zadeh Soudjani,
A. Abate,
2015,
Log. Methods Comput. Sci..
Alessandro Abate,
Kendra Lesser,
A. Abate,
2015,
ADHS.
Alessandro Abate,
Sadegh Esmaeil Zadeh Soudjani,
Dieky Adzkiya,
2014,
QEST.
Alessandro Abate,
Ilya Tkachev,
A. Abate,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Alessandro Abate,
Sadegh Esmaeil Zadeh Soudjani,
A. Abate,
2011,
2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Joost-Pieter Katoen,
John Lygeros,
Maria Prandini,
2010,
Eur. J. Control.
John Lygeros,
S. Shankar Sastry,
Maria Prandini,
2008,
Autom..
Jonathan M. Cullen,
A. Abate,
Scott Jeen,
2022,
ArXiv.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2018,
ArXiv.
S. Shankar Sastry,
Aaron D. Ames,
Alessandro Abate,
2007,
Proceedings of the 44th IEEE Conference on Decision and Control.
Mohammadhosein Hasanbeig,
Alessandro Abate,
Thomas J. Ringstrom,
2020,
ArXiv.
Tom Melham,
Daniel Kroening,
Mohammadhosein Hasanbeig,
2019,
ArXiv.
Alessandro Abate,
Gareth W. Molyneux,
Viraj B. Wijesuriya,
2020,
FM Workshops.
A. Abate,
Z. Kan,
Mohammadhosein Hasanbeig,
2021,
IEEE Robotics and Automation Letters.
Daniel Kroening,
Insup Lee,
George J. Pappas,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Maria Domenica Di Benedetto,
Alessandro Abate,
Alessandro D'Innocenzo,
2009
.
Daniel Kroening,
Dario Cattaruzza,
Alessandro Abate,
2017,
NSV@CAV.
Alessandro Abate,
Sylvie Boldo,
S. Boldo,
2017,
Lecture Notes in Computer Science.
Tom Everitt,
A. Abate,
Ryan Carey,
2023,
Artif. Intell..
A. Abate,
A. Rovetta,
2021,
Cureus.
Claire J. Tomlin,
Jianghai Hu,
Alessandro Abate,
2010,
49th IEEE Conference on Decision and Control (CDC).
John Lygeros,
Maryam Kamgarpour,
Claire J. Tomlin,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Alessandro Abate,
Viraj B. Wijesuriya,
A. Abate,
2019,
QEST.
Sofie Haesaert,
Alessandro Abate,
Elizabeth Polgreen,
2016,
QEST.
Sofie Haesaert,
Alessandro Abate,
Paul M. J. Van den Hof,
2016,
2016 European Control Conference (ECC).
Sofie Haesaert,
Alessandro Abate,
Paul M. J. Van den Hof,
2015,
2015 American Control Conference (ACC).
Sofie Haesaert,
P.M.J. Van den Hof,
Alessandro Abate,
2015
.
Julian Gutierrez,
Paul Harrenstein,
Giuseppe Perelli,
2021,
Applied Intelligence.
A. Abate,
J. Gutierrez,
Muhammad Najib,
2021
.
Alessandro Abate,
Harald Oberhauser,
Francesco Cosentino,
2021,
2111.03497.
J. Lygeros,
S. Sastry,
A. Abate,
2006,
Proceedings of the 45th IEEE Conference on Decision and Control.
Joost-Pieter Katoen,
Alessandro Abate,
Alexandru Mereacre,
2011,
HSCC '11.
A. Abate,
Patrick Benjamin,
2023,
ArXiv.
Stuart J. Russell,
A. Gleave,
A. Abate,
2022,
ICML.
Alessandro Abate,
Nathalie Cauchi,
A. Abate,
2018,
ADHS.
Claire J. Tomlin,
Alessandro Abate,
Neal Master,
2012,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Alessandro Abate,
Martin Strelec,
Karel Macek,
2012,
2012 3rd IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe).
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
pdf
Sofie Haesaert,
Alessandro Abate,
Elizabeth Polgreen,
2017,
QEST.
Fei Chen,
Sofie Haesaert,
Alessandro Abate,
2020,
IEEE Transactions on Automatic Control.
Alex Rogers,
Alessandro Abate,
Joe Brown,
2020
.
Alessandro Abate,
Dieky Adzkiya,
Muhammad Syifa'ul Mufid,
2019,
FORMATS.
Alessandro Abate,
Dieky Adzkiya,
Yining Zhang,
2016,
Discret. Event Dyn. Syst..
A. Abate,
D. Adzkiya,
Yining Zhang,
2015,
Discrete Event Dynamic Systems.
Bart De Schutter,
Alessandro Abate,
Dieky Adzkiya,
2015,
Autom..
Alessandro Abate,
Dieky Adzkiya,
A. Abate,
2013,
QEST.
Bart De Schutter,
Alessandro Abate,
Dieky Adzkiya,
2013,
IEEE Transactions on Automatic Control.
Alessandro Cimatti,
Alessandro Abate,
Muhammad Syifa'ul Mufid,
2021,
CONCUR.
Bart De Schutter,
Dieky Adzkiya,
Alessandro Abate,
2014
.
Joost-Pieter Katoen,
Alessandro Abate,
Alexandru Mereacre,
2014,
Inf. Comput..
Alessandro Abate,
Daniele Ahmed,
Mirco Giacobbe,
2020,
IEEE Control Systems Letters.
Alessandro Abate,
Daniele Ahmed,
Mirco Giacobbe,
2020,
ArXiv.
Alessandro Abate,
Tatjana Petrov,
Verena Wolf,
2020,
CMSB.
Jianghai Hu,
Alessandro Abate,
Wei Zhang,
2009,
IEEE Transactions on Automatic Control.
A. Abate,
Joar Skalse,
2022,
AAAI.
Daniel Kroening,
Cristina David,
Alessandro Abate,
2018,
CAV.
Daniel Kroening,
Dario Cattaruzza,
Alessandro Abate,
2020,
Journal of Automated Reasoning.
D. Kroening,
A. Abate,
L. Cordeiro,
2019,
Acta Informatica.
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2017,
CAV.
Daniel Kroening,
Dario Cattaruzza,
Alessandro Abate,
2015,
SAS.
D. Kroening,
A. Abate,
Li Yuan,
2019,
ArXiv.
Alessandro Abate,
Ilya Tkachev,
A. Abate,
2013,
HSCC '13.
Alessandro Abate,
Khaza Anuarul Hoque,
Nathalie Cauchi,
2019,
ArXiv.
Alessandro Abate,
Carlos E. Budde,
Mariëlle Stoelinga,
2018,
EPEW.
Alessandro Abate,
Mariëlle Stoelinga,
Khaza Anuarul Hoque,
2018,
ACM Trans. Sens. Networks.
Ashish Tiwari,
Alessandro Abate,
A. Tiwari,
2006
.
John Lygeros,
Alessandro Abate,
Majid Zamani,
2013,
2013 European Control Conference (ECC).
A. Abate,
Mirco Giacobbe,
Alec Edwards,
2023,
ArXiv.
Alessandro Abate,
Mirco Giacobbe,
Diptarko Roy,
2021,
CAV.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2018,
1801.08099.
M. Wooldridge,
A. Abate,
J. Gutierrez,
2021,
Adaptive Agents and Multi-Agent Systems.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2020,
FORMATS.
Alessandro Abate,
Daniele Ahmed,
Mirco Giacobbe,
2021,
HSCC.
Alessandro Abate,
Daniele Ahmed,
Andrea Peruffo,
2020,
ArXiv.
Alessandro Abate,
Sadegh Esmaeil Zadeh Soudjani,
A. Abate,
2014,
TACAS.
Alessandro Abate,
Kendra Lesser,
A. Abate,
2016,
2016 European Control Conference (ECC).
Minghua Chen,
Avideh Zakhor,
S. Shankar Sastry,
2013
.
A.D. Ames,
A. Abate,
S. Sastry,
2005,
2007 46th IEEE Conference on Decision and Control.
S. Sastry,
A. Abate,
Minghua Chen,
2005
.
Minghua Chen,
S. Shankar Sastry,
Alessandro Abate,
2005
.
A. Abate,
Y. Almulla,
James Fox,
2022,
ArXiv.
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
Antoine Girard,
Alessandro Abate,
Majid Zamani,
2014,
Autom..
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems
pdf
Lihua Xie,
Karl H. Johansson,
Alessandro Abate,
2020,
IEEE Transactions on Automatic Control.
Daniel Kroening,
Cristina David,
Alessandro Abate,
2019,
Acta Informatica.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2020,
AAMAS.
Alessandro Abate,
Ilya Tkachev,
A. Abate,
2012,
HSCC '12.
A. Abate,
S. Haesaert,
Licio Romao,
2023,
2023 62nd IEEE Conference on Decision and Control (CDC).
Sofie Haesaert,
Alessandro Abate,
Nathalie Cauchi,
2017,
Perform. Evaluation.
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations
pdf
Sofie Haesaert,
Siep Weiland,
Alessandro Abate,
2017,
ArXiv.
S. Sastry,
J. Lygeros,
A. Abate,
2008
.
A stochastic games framework for verification and control of discrete time stochastic hybrid systems
John Lygeros,
Maryam Kamgarpour,
Claire J. Tomlin,
2013,
Autom..
Thom S. Badings,
Hasan A. Poonawala,
A. Abate,
2021,
AAAI.
Matthew Wicker,
Nicola Paoletti,
Alessandro Abate,
2021,
UAI.
A. Abate,
L. Laurenti,
A. Patané,
2021
.
Stephen Roberts,
Alessandro Abate,
Kyriakos Polymenakos,
2020,
QEST.
Stephen J. Roberts,
Alessandro Abate,
Kyriakos Polymenakos,
2019,
AAMAS.
Stephen J. Roberts,
Alessandro Abate,
Kyriakos Polymenakos,
2017,
ArXiv.
Alessandro Abate,
Claire J Tomlin,
Keith Amonlirdviman,
2008,
Proceedings of the National Academy of Sciences.
Thom S. Badings,
A. Abate,
Licio Romao,
2022,
QEST.
Rupak Majumdar,
Alessandro Abate,
Sadegh Esmaeil Zadeh Soudjani,
2017,
Acta Informatica.
Rupak Majumdar,
Alessandro Abate,
Sadegh Esmaeil Zadeh Soudjani,
2015,
CONCUR.
Alessandro Abate,
Dieky Adzkiya,
A. Abate,
2016
.
Jianghai Hu,
Alessandro Abate,
Wei Zhang,
2012,
IEEE Transactions on Automatic Control.
C. Tomlin,
A. Abate,
K. Amonlirdviman,
2008,
Proceedings of the National Academy of Sciences.
A. Abate,
Y. Almulla,
James Fox,
2022,
ECAI.
Luca Cardelli,
Alessandro Abate,
Luca Laurenti,
2017,
HSCC.
Frederik Baymler Mathiesen,
A. Abate,
Licio Romao,
2023,
ArXiv.
A. Cimatti,
A. Abate,
A. Micheli,
2023,
ArXiv.
Alessandro Abate,
Dieky Adzkiya,
Muhammad Syifa'ul Mufid,
2018,
FORMATS.
B. Schutter,
A. Abate,
D. Adzkiya,
2013,
IEEE Transactions on Automatic Control.
Bart De Schutter,
Alessandro Abate,
Dieky Adzkiya,
2013,
2013 American Control Conference.
A.D. Ames,
A. Abate,
A. Abate,
2005,
Proceedings of the 2005, American Control Conference, 2005..
Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka–Volterra model
A. Abate,
M. Sabelis,
K. Staňková,
2012,
Journal of Mathematical Biology.
A. Abate,
A. Rogers,
J. Brown,
2021,
BuildSys@SenSys.
Alex Rogers,
Jonathan Chambers,
Alessandro Abate,
2020,
BuildSys@SenSys.
Alessandro Abate,
A. Abate,
2016
.
Bart De Schutter,
Alessandro Abate,
Dieky Adzkiya,
2014,
TACAS.
Bart De Schutter,
Alessandro Abate,
Dieky Adzkiya,
2014,
WODES.
A. Abate,
Lewis Hammond,
Paul Harrenstein,
2023,
TARK.
Alessandro Abate,
Tom Everitt,
James Fox,
2021,
SciPy.
T. Melham,
D. Kroening,
A. Abate,
2021,
AAAI.
Alessandro Abate,
Kendra Lesser,
A. Abate,
2017,
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).
Alessandro Abate,
Sadegh Esmaeil Zadeh Soudjani,
A. Abate,
2013,
SIAM J. Appl. Dyn. Syst..
Alessandro Abate,
Sadegh Esmaeil Zadeh Soudjani,
A. Abate,
2012,
ATVA.
Claire J. Tomlin,
Alessandro Abate,
Jerry Ding,
2013,
2013 American Control Conference.
Alessandro Abate,
Majid Zamani,
A. Abate,
2014,
2014 American Control Conference.
Karel Macek,
Nathalie Cauchi,
Alessandro Abate,
2017
.
Alessandro Abate,
Majid Zamani,
Ilya Tkachev,
2016,
Discrete Event Dynamic Systems.
A. Abate,
Majid Zamani,
Abolfazl Lavaei,
2022,
Autom..
Alessandro Abate,
Majid Zamani,
A. Abate,
2014,
Syst. Control. Lett..
Alessandro Abate,
Sadegh Esmaeil Zadeh Soudjani,
Caspar Gevaerts,
2014,
TACAS.
Joost-Pieter Katoen,
Alessandro Abate,
Alexandru Mereacre,
2013,
HSCC '13.
John Lygeros,
Rupak Majumdar,
Alessandro Abate,
2013,
IEEE Transactions on Automatic Control.
A. Abate,
S. Haesaert,
Nathalie Cauchi,
2017,
Perform. Evaluation.
Luca Cardelli,
Alessandro Abate,
Luca Laurenti,
2017,
CMSB.
John Lygeros,
S. Shankar Sastry,
Maria Prandini,
2008,
2008 47th IEEE Conference on Decision and Control.
John Lygeros,
S. Shankar Sastry,
Maria Prandini,
2008,
HSCC.
S. Shankar Sastry,
Maria Domenica Di Benedetto,
Alessandro Abate,
2008,
HSCC.
A. Abate,
Mirco Giacobbe,
Alec Edwards,
2023,
CONCUR.
Jianghai Hu,
Alessandro Abate,
Michael P. Vitus,
2009,
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.
Wei Zhang,
A. Abate,
Jianghai Hu,
2022
.
Abraham P. Vinod,
H. Blom,
A. Abate,
2019,
ARCH@CPSIoTWeek.
Alessandro Abate,
Nathalie Cauchi,
A. Abate,
2019,
ArXiv.
Alessandro Abate,
Nathalie Cauchi,
A. Abate,
2018,
ARCH@ADHS.
Abraham P. Vinod,
H. Blom,
A. Abate,
2022,
ARCH@SAFECOMP.
Jianghai Hu,
Alessandro Abate,
Michael P. Vitus,
2009,
Autom..
Ashish Tiwari,
S. Shankar Sastry,
Alessandro Abate,
2006
.