The road ahead for supervisor synthesis

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

1 Citation (Scopus)

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
Subtitle of host publication6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
EditorsJun Pang, Lijun Zhang
PublisherSpringer
Pages1-16
Number of pages16
ISBN (Electronic)978-3-030-62822-2
DOIs
Publication statusPublished - 24 Nov 2020

Publication series

NameLecture Notes in Computer Science (LNCS)
Volume12153
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameProgramming and Software Engineering (LNPSE)
Volume12153

Fingerprint

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

Cite this