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]
@inproceedings{PennaIM09,
title = {Evaluating Fuzzy Controller Robustness Using Model Checking},
author = {Giuseppe Della Penna and Benedetto Intrigila and Daniele Magazzeni},
year = {2009},
doi = {10.1007/978-3-642-02282-1_38},
url = {http://dx.doi.org/10.1007/978-3-642-02282-1_38},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/PennaIM09},
cites = {0},
citedby = {0},
pages = {303-311},
booktitle = {Fuzzy Logic and Applications, 8th International Workshop, WILF 2009, Palermo, Italy, June 9-12, 2009, Proceedings},
editor = {Vito Di Gesù and Sankar K. Pal and Alfredo Petrosino},
volume = {5571},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02281-4},
}