Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni. Evaluating Fuzzy Controller Robustness Using Model Checking. In Vito Di Gesù, Sankar K. Pal, Alfredo Petrosino, editors, Fuzzy Logic and Applications, 8th International Workshop, WILF 2009, Palermo, Italy, June 9-12, 2009, Proceedings. Volume 5571 of Lecture Notes in Computer Science, pages 303-311, Springer, 2009. [doi]
Abstract is missing.