Login / Signup
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