Correct and Efficient Policy Monitoring, a Retrospective.

David A. Basin Srdan Krstic Joshua Schneider Dmitriy Traytel

Published in: ATVA (1) (2023)

Keyphrases

databases
information retrieval
monitoring system
real world
data mining
decision making
information technology
artificial neural networks
computationally efficient
cost effective