Login / Signup
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.
Samuel Judson
Matthew Elacqua
Filip Cano
Timos Antonopoulos
Bettina Könighofer
Scott J. Shapiro
Ruzica Piskac
Published in:
CSLAW (2024)
Keyphrases
</>
decision making
decision makers
statistical machine translation
neural network
active learning
website
test cases
making decisions
databases
knowledge base
decision trees
image sequences
information acquisition