Login / Signup
Mixing Formal Methods, Machine Learning, and Human Interaction Through an Autonomics Framework.
Braulio Coronado
Eric Gustafson
John Reeder
Douglas S. Lange
Published in:
AAAI Fall Symposia (2016)
Keyphrases
</>
human interaction
formal methods
machine learning
human computer interaction
data mining
software engineering
human interactions
object oriented
knowledge acquisition
safety critical