This paper reports on recent research advances in supervisor synthesis, as well as industrial applications and future research challenges, especially in the context of a research project funded by Rijkswaterstaat, responsible for the construction and maintenance of infrastructure in the Netherlands.
|Title of host publication||Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Proceedings|
|Editors||Jun Pang, Lijun Zhang|
|Number of pages||16|
|Publication status||Published - 24 Nov 2020|
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|