Synthesizing skeletons for reactive systems

DOI10.1007/978-3-319-46520-3_18zbMath1398.68342arXiv1803.09285OpenAlexW2522028245MaRDI QIDQ1990512

Hazem Torfah, Bernd Finkbeiner

Publication date: 25 October 2018

Full work available at URL: https://arxiv.org/abs/1803.09285

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

On the relation between reactive synthesis and supervisory control of non-terminating processes