Alice Miller
Scholar

Alice Miller

Google Scholar ID: aqR9WqQAAAAJ
Professor, University of Glasgow
Formal MethodsVerificationArtificial IntelligenceGroup Theorymodelling
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
565
 
H-index
14
 
i10-index
19
 
Publications
20
 
Co-authors
61
list available
Contact
No contact links provided.
Publications
2 items
Real-Time Model Checking for Closed-Loop Robot Reactive Planning
2025
Cited
0
Closed-loop Multi-step Planning
2024
Cited
0
Resume (English only)
Co-authors
61 total
Muffy Calder
Muffy Calder
Professor of Computing Science, University of Glasgow
Alastair Donaldson
Alastair Donaldson
Imperial College London
Yu Lu
Yu Lu
Shenzhen Technology University
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Michael Codish
Michael Codish
Department of Computer Science, Ben-Gurion University of the Negev
Co-author 7
Co-author 7
Co-author 8
Co-author 8