Search Results - Redfield, Signe

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Grand Challenges in the Verification of Autonomous Systems by Leahy, Kevin, Asgari, Hamid, Dennis, Louise A., Feather, Martin S., Fisher, Michael, Ibanez-Guzman, Javier, Logan, Brian, Olszewska, Joanna I., Redfield, Signe

    Published 2024
    Get full text
    Preprint

    Save to List
    Saved in:

Search Tools: