Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance.

Basilis Boutsinas Stergios Papadimitriou Georgios Pavlides Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance. 134-145 1996 conf/ershov/1996 Ershov Memorial Conference db/conf/ershov/ershov1996.html#BoutsinasPP96 http://dx.doi.org/10.1007/3-540-62064-8_13