Safety first: a two-stage algorithm for the synthesis of reactive systems.

Saqib Sohail Fabio Somenzi

Published in: Int. J. Softw. Tools Technol. Transf. (2013)

Keyphrases

preprocessing
learning algorithm
expectation maximization
computational complexity
k means
np hard
dynamic programming
segmentation algorithm
detection algorithm
relational databases
worst case
reactive systems