Ana Cavalcanti
Scholar

Ana Cavalcanti

Google Scholar ID: fu6TM4wAAAAJ
University of York
formal methodsrefinementconcurrencyobject-orientationreal time
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,115
 
H-index
38
 
i10-index
119
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
5 items
Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
2026
Cited
0
Multi-Robot Trajectory Planning via Constrained Bayesian Optimization and Local Cost Map Learning with STL-Based Conflict Resolution
2026
Cited
0
Formal Evidence Generation for Assurance Cases for Robotic Software Models
2026
Cited
0
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
2025
Cited
0
Software Engineering for Self-Adaptive Robotics: A Research Agenda
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)