logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
A

Alessandro Abate

university of oxford

40H-index
442Paper Count
6.1KCitation Count
Published Papers 48
Publication Date
logo
Partial identifiability and misspecification in inverse reinforcement learning
errArtificial Intelligence
IF4.6
err2026-04-01
err0
errOAAI
errSkalse, Joar; Abate, Alessandro
errShare
errSave
Exact Characterization of Aggregate Flexibility via Generalized Polymatroids
errIEEE Transactions on Smart Grid
IF9.8
err2026-01-30
err0
PREAI
errKaran Mukhi; Georg Loho; Alessandro Abate
errShare
errSave
A general framework for verification and control of dynamical models via certificate synthesis
errAnnual Reviews in Control
IF10.7
err2025-10-04
err0
errOAAI
errAlec Edwards; Andrea Peruffo; Alessandro Abate
errShare
errSave
Data-Driven Memory-Dependent Abstractions of Dynamical Systems via a Cantor–Kantorovich Metric
errIEEE Transactions on Automatic Control
IF7
err2025-06-23
err0
PREAI
errAdrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers
errShare
errSave
Policy Evaluation in Distributional LQR
errIEEE Transactions on Automatic Control
IF7
err2025-06-02
err0
PREAI
errZifan Wang; Yulong Gao; Siyi Wang; Michael M. Zavlanos; Alessandro Abate; Karl H. Johansson
errShare
errSave
Probabilistic reach-avoid for Bayesian neural networks
errartificial intelligence review
IF4.6
err2024-09-01
err1
errOAAI
errWicker, Matthew; Laurenti, Luca; Patane, Andrea; Paoletti, Nicola; Abate, Alessandro; Kwiatkowska, Marta
errShare
errSave
Distributional Reachability for Markov Decision Processes: Theory and Applications
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-07-01
err0
PREAI
errGao, Yulong; Abate, Alessandro; Xie, Lihua; Johansson, Karl Henrik
errShare
errSave
Control design of discrete-time unicycle model using satisfiability modulo theory
errSYSTEMS SCIENCE & CONTROL ENGINEERING
IF4.4
err2024-02-22
err0
errOAAI
errAdzkiya, Dieky; Mufid, Muhammad Syifa'ul; Saputri, Febrianti Silviana; Abate, Alessandro
errShare
errSave
Grid-Free Computation of Probabilistic Safety With Malliavin Calculus
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-10-01
err1
errOAAI
errCosentino, Francesco; Oberhauser, Harald; Abate, Alessandro
errShare
errSave
Automated verification and synthesis of stochastic hybrid systems: A survey
errAUTOMATICA
IF5.9
err2022-12-01
err31
errOAAI
errLavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro; Zamani, Majid
errShare
errSave
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-10-01
err11
errOAAI
errGao, Yulong; Abate, Alessandro; Jiang, Frank J.; Giacobbe, Mirco; Xie, Lihua; Johansson, Karl Henrik
errShare
errSave
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-06-01
err4
PREAI
errMufid, Muhammad Syifa'ul; Adzkiya, Dieky; Abate, Alessandro
errShare
errSave
Resilient monitoring in self-adaptive systems through behavioral parameter estimation
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2021-09-01
err2
PREAI
errNia, Mehran Alidoost; Kargahi, Mehdi; Abate, Alessandro
errShare
errSave
Rational verification: game-theoretic verification of multi-agent systems
errAPPLIED INTELLIGENCE
IF3.5
err2021-08-03
err13
errOAAI
errAbate, Alessandro; Gutierrez, Julian; Hammond, Lewis; Harrenstein, Paul; Kwiatkowska, Marta; Najib, Muhammad; Perelli, Giuseppe; Steeples, Thomas; Wooldridge, Michael
errShare
errSave
Aggregation and Control of a Heterogeneous Population of Solar Panels Over the Grid Frequency
errIEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY
IF3.9
err2021-07-01
err3
errOAAI
errPeruffo, Andrea; Guiu, Emeline; Panciatici, Patrick; Abate, Alessandro
errShare
errSave
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-03-01
err3
errOAAI
errHaesaert, Sofie; Chen, Fei; Abate, Alessandro; Weiland, Siep
errShare
errSave
Disaggregation of household solar energy generation using censored smart meter data
errENERGY AND BUILDINGS
IF7.1
err2021-01-01
err18
errOAAI
errBrown, Joe; Abate, Alessandro; Rogers, Alex
errShare
errSave
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-01-01
err14
errOAAI
errLaurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta
errShare
errSave
Symbolic Abstractions of Networked Control Systems
errIEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS
IF5
err2018-12-01
err23
errOAAI
errZamani, Majid; Mazo, Manuel, Jr.; Khaled, Mahmoud; Abate, Alessandro
errShare
errSave
Maintenance of Smart Buildings using Fault Trees
errACM TRANSACTIONS ON SENSOR NETWORKS
IF4.7
err2018-11-27
err7
errOAAI
errCauchi, Nathalie; Hoque, Khaza Anuarul; Stoelinga, Marielle; Abate, Alessandro
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
L
Lihua Xie
H-index: 117 · Papers: 1.6K
K
Karl Henrik Johansson
H-index: 95 · Papers: 1.6K
S
Shankar Sastry
H-index: 87 · Papers: 457
J
Joseph J. Heijnen
H-index: 87 · Papers: 542
M
Maurice W. Sabelis
H-index: 83 · Papers: 515
View more