• Sign in
  • Sign up
conf.researchr.org / Rafael C. Cardoso
  • ECOOP 2022 profile
  • ECOOP 2025 profile
  • ECOOP and ISSTA 2021 profile
  • NASA Formal Methods 2024 profile
Rafael C. Cardoso

Registered user since Mon 5 Jul 2021

Name:Rafael C. Cardoso
Country:United Kingdom
Affiliation:University of Aberdeen
Personal website: https://rafaelcaue.github.io/
GitHub: https://github.com/rafaelcaue
Research interests:Symbolic AI, Multi-Agent Systems

Contributions

2025

VORTEX

  • Author of Runtime Monitoring of Action Specifications for Replanning in Classical Planning within the VORTEX-track

2024

NFM

  • Committee Member in Program Committee within the NFM 2024-track

2022

VORTEX

  • PC Member in VORTEX 2022 Workshop Organizers within the VORTEX 2022-track

2021

VORTEX

  • Author of RVPLAN: A General Purpose Framework for Replanning using Runtime Verification within the VORTEX-track
Share
xTue 17 Jun 06:09
using conf.researchr.org (v1.69.0)
Support page
Sign Up