RTAEval: A Framework for Evaluating Runtime Assurance Logic.

Kristina Miller Christopher K. Zeitler William Shen Mahesh Viswanathan Sayan 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