logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Alessandro Abate

university of oxford

40H指数
442论文数
6.1K被引数
收录论文 48
发表时间
logo
Partial identifiability and misspecification in inverse reinforcement learning逆强化学习中的部分可识别性与误设
errArtificial Intelligence
IF4.6
err2026-04-01
err0
errOAAI
errSkalse, Joar; Abate, Alessandro
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
Data-Driven Memory-Dependent Abstractions of Dynamical Systems via a Cantor–Kantorovich Metric基于Cantor–Kantorovich度量的数据驱动记忆依赖的动力系统抽象
errIEEE Transactions on Automatic Control
IF7
err2025-06-23
err0
PREAI
errAdrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers
err分享
err收藏
Policy Evaluation in Distributional LQR分布式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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems基于SMT的高维区间Max-Plus线性系统的可达性分析
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-06-01
err4
PREAI
errMufid, Muhammad Syifa'ul; Adzkiya, Dieky; Abate, Alessandro
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
L
Lihua Xie
H 指数: 117 · 论文数: 1.6K
K
Karl Henrik Johansson
H 指数: 95 · 论文数: 1.6K
S
Shankar Sastry
H 指数: 87 · 论文数: 457
J
Joseph J. Heijnen
H 指数: 87 · 论文数: 542
M
Maurice W. Sabelis
H 指数: 83 · 论文数: 515
查看更多