Scholar
Alessandro Abate
Google Scholar ID: yskbfM4AAAAJ
Professor of Verification and Control, University of Oxford, UK
Formal Verification
Control Theory
Stochastic Hybrid Systems
Cyber-Physical Systems
Energy and Safety-Critical Systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,631
H-index
40
i10-index
128
Publications
20
Co-authors
187
list available
Publications
48 items
Jaxolotl: A Unified High-Performance Benchmark Suite for LTL-Based Multi-Task RL
2026
Cited
0
Efficient Bayes-Adaptive Reinforcement Learning with Temporal Logic Specifications
2026
Cited
0
Dual Process Motion Planning
2026
Cited
0
Q-based Variational Inverse Reinforcement Learning
2026
Cited
0
Sound Probabilistic Safety Bounds for Large Language Models
2026
Cited
0
Amortising Bayesian Experimental Design for Sequential Information Gathering in LLMs
2026
Cited
0
Value Functions as Supermartingale Certificates
2026
Cited
0
Robust Shielding for Safe Reinforcement Learning
2026
Cited
0
Load more
Co-authors
15 total
Sadegh Soudjani
Professor and Chair in Cyber-Physical Systems | Max Planck Institute | University of Birmingham
Daniel Kroening
Amazon
Shankar Sastry
University of California
John Lygeros
Prof. of Computation and Control, ETH Zurich
Hosein Hasanbeig
Microsoft Research
Sofie Haesaert
Electrical Engineering Department, TU Eindhoven
Majid Zamani
Associate Professor, University of Colorado Boulder
Wei Zhang
Professor, Department of Mechanical Engineering, Southern University of Science and Technology
