Login / Signup

An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment.

Alexander WillAidan G. CollinsRobert GrizzardSmitha GauthamPatrick MartinEvan DillCarl R. Elks
Published in: DSN-S (2023)
Keyphrases
  • safety analysis
  • risk assessment
  • model checking
  • simulation study
  • data mining
  • bayesian networks
  • simulation model
  • simulation models
  • simulation environment
  • formal methods
  • high fidelity