Login / Signup

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