Login / Signup
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers.
Marco Bozzano
Alessandro Cimatti
Marco Gario
Stefano Tonetta
Published in:
AAAI (Late-Breaking Developments) (2013)
Keyphrases
</>
formal methods
main contribution
theoretical framework
learning algorithm
high level
lightweight
formal verification
data sets
website
decision trees
formal model
mathematical foundations