Basilis Boutsinas, Stergios Papadimitriou, Georgios Pavlides. Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance. In Dines Bjørner, Manfred Broy, Igor V. Pottosin, editors, Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings. Volume 1181 of Lecture Notes in Computer Science, pages 134-145, Springer, 1996.
Abstract is missing.