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

RTAEval: A Framework for Evaluating Runtime Assurance Logic.

Kristina MillerChristopher K. ZeitlerWilliam ShenMahesh ViswanathanSayan Mitra
Published in: ATVA (2023)
Keyphrases
  • main contribution
  • logical framework
  • databases
  • expert systems
  • real time
  • real world
  • machine learning
  • genetic algorithm
  • case study
  • similarity measure
  • multi agent
  • software engineering