SIC-testability of sequential logic controllers.

Julien Provost Jean-Marc Roussel Jean-Marc Faure

Published in: WODES (2010)

Keyphrases

control system
classical logic
logic programming
modal logic
data sets
multi valued
reinforcement learning
automated reasoning
predicate logic
sequential data
delay insensitive
sequential search
dynamic logic
asynchronous circuits
abductive reasoning
control strategies
control strategy
data structure
databases