Alessandro Abate
Scholar

Alessandro Abate

Google Scholar ID: yskbfM4AAAAJ
Professor of Verification and Control, University of Oxford, UK
Formal VerificationControl TheoryStochastic Hybrid SystemsCyber-Physical SystemsEnergy and Safety-Critical Systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,631
 
H-index
40
 
i10-index
128
 
Publications
20
 
Co-authors
187
list available
Contact
No contact links provided.
Publications
38 items
HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification
2026
Cited
0
When can we trust untrusted monitoring? A safety case sketch across collusion strategies
2026
Cited
0
Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
2026
Cited
0
Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning
2026
Cited
0
PlatoLTL: Learning to Generalize Across Symbols in LTL Instructions for Multi-Task RL
2026
Cited
0
Multi-Property Synthesis
2026
Cited
0
Neural Proofs for Sound Verification and Control of Complex Systems
2025
Cited
0
Fair Coordination in Strategic Scheduling
2025
Cited
0
Resume (English only)
Co-authors
187 total
Sadegh Soudjani
Sadegh Soudjani
Professor and Chair in Cyber-Physical Systems | Max Planck Institute | University of Birmingham
Daniel Kroening
Daniel Kroening
Amazon
Shankar Sastry
Shankar Sastry
University of California
John Lygeros
John Lygeros
Prof. of Computation and Control, ETH Zurich
Hosein Hasanbeig
Hosein Hasanbeig
Microsoft Research
Sofie Haesaert
Sofie Haesaert
Electrical Engineering Department, TU Eindhoven
Co-author 7
Co-author 7
Co-author 8
Co-author 8