External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verified simulation for robotics

Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro 0002, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis. Verified simulation for robotics. Science of Computer Programming, 174:1-37, 2019. [doi]

Authors

Ana Cavalcanti

This author has not been identified. Look up 'Ana Cavalcanti' in Google

Augusto Sampaio

This author has not been identified. Look up 'Augusto Sampaio' in Google

Alvaro Miyazawa

This author has not been identified. Look up 'Alvaro Miyazawa' in Google

Pedro Ribeiro 0002

This author has not been identified. Look up 'Pedro Ribeiro 0002' in Google

Madiel Conserva Filho

This author has not been identified. Look up 'Madiel Conserva Filho' in Google

André Didier

This author has not been identified. Look up 'André Didier' in Google

Wei Li

This author has not been identified. Look up 'Wei Li' in Google

Jon Timmis

This author has not been identified. Look up 'Jon Timmis' in Google
runs on