Unlock your academic potential and expand your network by joining us!

Rafael C. Cardoso

Dr. Rafael C. Cardoso

The University of Manchester

Share Link

Share

Information

0000-0001-6666-6954

Research Keywords & Expertise

Formal Verification
Multi-agent Systems
Automated planning
AI planning
agent programming lang...

Fingerprints

19%
Formal Verification
19%
Multi-agent Systems
17%
agent programming languages
9%
Automated planning
5%
AI planning
done Well done!
You've completed 100% of your profile.
A high-quality profile increases your visibility and attracts more views. Enjoy your journey!