| Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems A Abate, M Prandini, J Lygeros, S Sastry Automatica 44 (11), 2724-2734, 2008 | 570 | 2008 |
| Approximate model checking of stochastic hybrid systems A Abate, JP Katoen, J Lygeros, M Prandini European Journal of Control 16 (6), 624-641, 2010 | 245 | 2010 |
| Formal synthesis of Lyapunov neural networks A Abate, D Ahmed, M Giacobbe, A Peruffo IEEE Control Systems Letters 5 (3), 773-778, 2020 | 204 | 2020 |
| Symbolic control of stochastic systems via approximately bisimilar finite abstractions M Zamani, PM Esfahani, R Majumdar, A Abate, J Lygeros IEEE Transactions on Automatic Control 59 (12), 3135-3150, 2014 | 185 | 2014 |
| Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees M Hasanbeig, Y Kantaros, A Abate, D Kroening, GJ Pappas, I Lee 2019 IEEE 58th conference on decision and control (CDC), 5338-5343, 2019 | 184 | 2019 |
| On efficient sensor scheduling for linear dynamical systems MP Vitus, W Zhang, A Abate, J Hu, CJ Tomlin Automatica 48 (10), 2482-2493, 2012 | 178 | 2012 |
| Exponential stabilization of discrete-time switched linear systems W Zhang, A Abate, J Hu, MP Vitus Automatica 45 (11), 2526-2536, 2009 | 164 | 2009 |
| Automated verification and synthesis of stochastic hybrid systems: A survey A Lavaei, S Soudjani, A Abate, M Zamani Automatica 146, 110617, 2022 | 159 | 2022 |
| Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes S Esmaeil Zadeh Soudjani, A Abate SIAM Journal on Applied Dynamical Systems 12 (2), 921-956, 2013 | 159 | 2013 |
| FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks A Abate, D Ahmed, A Edwards, M Giacobbe, A Peruffo Proceedings of the 24th international conference on hybrid systems …, 2021 | 146 | 2021 |
| FAUST: F ormal A bstractions of U ncountable-ST ate ST ochastic Processes SEZ Soudjani, C Gevaerts, A Abate International conference on tools and algorithms for the construction and …, 2015 | 146 | 2015 |
| Logically-constrained reinforcement learning M Hasanbeig, A Abate, D Kroening arXiv preprint arXiv:1801.08099, 2018 | 142 | 2018 |
| Box invariance in biologically-inspired dynamical systems A Abate, A Tiwari, S Sastry Automatica 45 (7), 1601-1610, 2009 | 142 | 2009 |
| Aggregation and control of populations of thermostatically controlled loads by formal abstractions SEZ Soudjani, A Abate IEEE Transactions on Control Systems Technology 23 (3), 975-990, 2014 | 125 | 2014 |
| On the value functions of the discrete-time switched LQR problem W Zhang, J Hu, A Abate IEEE Transactions on Automatic Control 54 (11), 2669-2674, 2009 | 124 | 2009 |
| Cautious reinforcement learning with logical constraints M Hasanbeig, A Abate, D Kroening arXiv preprint arXiv:2002.12156, 2020 | 122 | 2020 |
| Modular deep reinforcement learning for continuous motion planning with temporal logic M Cai, M Hasanbeig, S Xiao, A Abate, Z Kan IEEE robotics and automation letters 6 (4), 7973-7980, 2021 | 119 | 2021 |
| Counterexample guided inductive synthesis modulo theories A Abate, C David, P Kesseli, D Kroening, E Polgreen International Conference on Computer Aided Verification, 270-288, 2018 | 118 | 2018 |
| Modeling options for demand side participation of thermostatically controlled loads M Kamgarpour, C Ellen, SEZ Soudjani, S Gerwinn, JL Mathieu, N Müllner, ... 2013 IREP Symposium Bulk Power System Dynamics and Control-IX Optimization …, 2013 | 110 | 2013 |
| Sufficient conditions for the existence of Zeno behavior AD Ames, A Abate, S Sastry Proceedings of the 44th IEEE Conference on Decision and Control, 696-701, 2005 | 107 | 2005 |
Sadegh SoudjaniFull Professor and Chair in Cyber-Physical Systems | University of Birmingham | Max Planck InstituteVerified email at mpi-sws.org
