World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
43
Citations
6859
World Ranking
8051
National Ranking
483

Overview

Alessandro Abate is affiliated with the University of Oxford in the United Kingdom. Their research spans multiple fields within computer science and engineering, focusing extensively on formal methods and control systems.

The primary fields of study include:

  • Computer Science
  • Engineering

Within these broad domains, their work delves into several subfields, such as:

  • Artificial Intelligence
  • Computational Theory and Mathematics
  • Control and Systems Engineering
  • Software
  • Management Science and Operations Research

The main topics Alessandro Abate addresses in research cover:

  • Formal Methods in Verification
  • Adversarial Robustness in Machine Learning
  • Software Reliability and Analysis Research
  • Reinforcement Learning in Robotics
  • Advanced Control Systems Optimization
  • Fault Detection and Control Systems
  • Bayesian Modeling and Causal Inference

Frequent co-authors collaborating with Alessandro Abate include:

  • Licio Romao
  • Mirco Giacobbe
  • Andrea Peruffo
  • Michael Wooldridge
  • Alec Edwards

Alessandro Abate has contributed to various publication venues, particularly:

  • arXiv (Cornell University)
  • Proceedings of the AAAI Conference on Artificial Intelligence
  • IEEE Transactions on Automatic Control
  • EPiC series in computing
  • IFAC-PapersOnLine

Among recent papers authored or co-authored by Alessandro Abate are:

  • Formal Synthesis of Lyapunov Neural Networks, 2020, IEEE Control Systems Letters
  • Automated verification and synthesis of stochastic hybrid systems: A survey, 2022, Automatica
  • Disaggregation of household solar energy generation using censored smart meter data, 2020, Energy and Buildings
  • Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes, 2020, IEEE Transactions on Automatic Control
  • Cautious Reinforcement Learning with Logical Constraints, 2020, arXiv (Cornell University)

Alessandro Abate has also contributed to book publications released by Springer Science+Business Media, which include:

  • Computational Methods in Systems Biology (2020)
  • Quantitative Evaluation of Systems (2021)

Best Publications

  • Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

    Alessandro Abate;Maria Prandini;John Lygeros;Shankar Sastry

  • Approximate Model Checking of Stochastic Hybrid Systems

    Alessandro Abate;Joost-Pieter Katoen;John Lygeros;Maria Prandini

  • On efficient sensor scheduling for linear dynamical systems

    Michael P. Vitus;Wei Zhang;Alessandro Abate;Jianghai Hu

  • Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions

    Majid Zamani;Peyman Mohajerin Esfahani;Rupak Majumdar;Alessandro Abate

  • Exponential stabilization of discrete-time switched linear systems ☆

    Wei Zhang;Alessandro Abate;Jianghai Hu;Michael P. Vitus

  • Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes

    Sadegh Esmaeil Zadeh Soudjani;Alessandro Abate

  • Box invariance in biologically-inspired dynamical systems

    Alessandro Abate;Ashish Tiwari;Shankar Sastry

  • Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees

    M. Hasanbeig;Y. Kantaros;A. Abate;D. Kroening

  • On the Value Functions of the Discrete-Time Switched LQR Problem

    Wei Zhang;Jianghai Hu;A. Abate

  • FAUST $^{\mathsf 2}$: Formal Abstractions of Uncountable-STate STochastic Processes

    Sadegh Esmaeil Soudjani;Caspar Gevaerts;Alessandro Abate

  • Symbolic models for stochastic switched systems

    Majid Zamani;Alessandro Abate;Antoine Girard

  • Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions

    Sadegh Esmaeil Zadeh Soudjani;Alessandro Abate

  • Computational approaches to reachability analysis of stochastic hybrid systems

    Alessandro Abate;Saurabh Amin;Maria Prandini;John Lygeros

  • Formal Synthesis of Lyapunov Neural Networks

    Alessandro Abate;Daniele Ahmed;Mirco Giacobbe;Andrea Peruffo

  • Modeling options for demand side participation of thermostatically controlled loads

    Maryam Kamgarpour;Christian Ellen;Sadegh Esmaeil Zadeh Soudjani;Sebastian Gerwinn

  • Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey.

    Abolfazl Lavaei;Sadegh Soudjani;Alessandro Abate;Majid Zamani

  • Infinite-Horizon Switched LQR Problems in Discrete Time: A Suboptimal Algorithm With Performance Analysis

    Wei Zhang;Jianghai Hu;A. Abate

  • Sufficient Conditions for the Existence of Zeno Behavior

    A.D. Ames;A. Abate;S. Sastry

  • Approximate Abstractions of Stochastic Hybrid Systems

    A. Abate;A. D'Innocenzo;M. D. Di Benedetto

  • Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic

    Mingyu Cai;Mohammadhosein Hasanbeig;Shaoping Xiao;Alessandro Abate

  • On the optimal solutions of the infinite-horizon linear sensor scheduling problem

    Wei Zhang;Michael P. Vitus;Jianghai Hu;Alessandro Abate

  • Logically-Constrained Reinforcement Learning

    Mohammadhosein Hasanbeig;Alessandro Abate;Daniel Kroening

Frequent Co-Authors

Shankar Sastry
Shankar Sastry University of California, Berkeley
Daniel Kroening
Daniel Kroening Amazon (United States)
John Lygeros
John Lygeros ETH Zurich
Claire J. Tomlin
Claire J. Tomlin University of California, Berkeley
Marta Kwiatkowska
Marta Kwiatkowska University of Oxford
Luca Cardelli
Luca Cardelli University of Oxford
Joost-Pieter Katoen
Joost-Pieter Katoen RWTH Aachen University
Bart De Schutter
Bart De Schutter Delft University of Technology
Rupak Majumdar
Rupak Majumdar Max Planck Institute for Software Systems
Mariëlle Stoelinga
Mariëlle Stoelinga University of Twente

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens the door to various online degrees and career pathways in related technical fields. Many students combine or transition between disciplines such as engineering, physics, and data science to enhance their skills and employability.

If you’re interested in broadening your knowledge, consider options like the cheapest mechanical engineering degree online. Engineering principles closely align with computer science, especially in fields like robotics and automation.

For those passionate about fundamental principles of science, pursuing an online physics bachelor's degree offers a flexible entry into research, analytics, and high-tech industries.

Data science remains in high demand. Programs such as the cheapest data science masters in usa combine advanced computational skills with practical business insights.

Similarly, a online bachelor’s in electrical engineering can lead to dynamic roles in telecommunications, automation, or hardware development.

Exploring these related online degrees can diversify your expertise and unlock exciting career opportunities in today’s technology-driven job market.

Best Scientists Citing Alessandro Abate

Trending Scientists

Recently Published Articles