• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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