An Exceptional Actor System (Functional Pearl).

Patrick Redmond Lindsey Kuper

Published in: CoRR (2023)

Keyphrases

artificial intelligence
preprocessing
neural network
belief revision
database
data sets
case study
multiresolution
control system
functional verification