The road ahead for supervisor synthesis

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Abstract

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.

Original languageEnglish
Title of host publicationDependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Proceedings
EditorsJun Pang, Lijun Zhang
PublisherSpringer
Pages1-16
Number of pages16
ISBN (Print)9783030628215
DOIs
Publication statusPublished - 24 Nov 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12153 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint Dive into the research topics of 'The road ahead for supervisor synthesis'. Together they form a unique fingerprint.

Cite this