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.

Verification of Autonomous Systems [TC Spotlight]

Dejanira Araiza-Illan, Michael Fisher 0001, Kevin Leahy 0001, Joanna Isabelle Olszewska, Signe A. Redfield. Verification of Autonomous Systems [TC Spotlight]. IEEE Robot. Automat. Mag., 29(1):99-101, 2022. [doi]

Authors

Dejanira Araiza-Illan

This author has not been identified. Look up 'Dejanira Araiza-Illan' in Google

Michael Fisher 0001

This author has not been identified. Look up 'Michael Fisher 0001' in Google

Kevin Leahy 0001

This author has not been identified. Look up 'Kevin Leahy 0001' in Google

Joanna Isabelle Olszewska

This author has not been identified. Look up 'Joanna Isabelle Olszewska' in Google

Signe A. Redfield

This author has not been identified. Look up 'Signe A. Redfield' in Google
runs on