Login / Signup

Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features.

Chuchu FanBolun QiSayan Mitra
Published in: IEEE Des. Test (2018)
Keyphrases
  • data driven
  • safety analysis
  • real time
  • knowledge base
  • information systems
  • expert systems
  • control system
  • knowledge representation
  • dynamic systems
  • support systems
  • safety critical