Scholar
Alice Miller
Google Scholar ID: aqR9WqQAAAAJ
Professor, University of Glasgow
Formal Methods
Verification
Artificial Intelligence
Group Theory
modelling
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,603
H-index
22
i10-index
42
Publications
20
Co-authors
61
list available
Publications
2 items
Real-Time Model Checking for Closed-Loop Robot Reactive Planning
2025
Cited
0
Closed-loop Multi-step Planning
2024
Cited
0
Co-authors
8 total
Muffy Calder
Professor of Computing Science, University of Glasgow
Alastair Donaldson
Imperial College London
Yu Lu
Shenzhen Technology University
Michael Codish
Department of Computer Science, Ben-Gurion University of the Negev
Gethin Norman
Professor at the School of Computing Science, Glasgow University, School of Computing Science
Bernd Porr
University of Glasgow
Peter Stuckey
Faculty of Information Technology, Monash University
David Parker
Professor of Computer Science, University of Oxford
