Symbolic Synthesis of Observability Requirements for Diagnosability.

Benjamin Bittner Marco Bozzano Alessandro Cimatti Xavier Olive

Published in: AAAI (2012)

Keyphrases

real time
databases
machine learning
high level
fault diagnosis
discrete event
database
data sets
artificial intelligence
information systems
user requirements
functional requirements
program synthesis
neural learning