Scholar
Ana Cavalcanti
Google Scholar ID: fu6TM4wAAAAJ
University of York
formal methods
refinement
concurrency
object-orientation
real time
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,115
H-index
38
i10-index
119
Publications
20
Co-authors
0
Publications
7 items
Localization in Spatiotemporal Fields via Environmental PDEs
2026
Cited
0
Engineering Reliable Autonomous Systems: Challenges and Solutions
2026
Cited
0
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
