Crossmark

Specification decomposition for reactive synthesis

Published Online: 2022-07-18

Published Print: 2023-12

Authors

Finkbeiner, Bernd

Geier, Gideon

Passing, Noemi https://orcid.org/0000-0001-7781-043X
Funding

Funding for this research was provided by:

European Research Council (683300)

European Research Council (683300)

Deutsche Forschungsgemeinschaft (389792669)

Deutsche Forschungsgemeinschaft (389792669)
License Information

Text and Data Mining valid from 2022-07-18

Version of Record valid from 2022-07-18
More Information

Article History

Received: 16 November 2021

Accepted: 6 June 2022

First Online: 18 July 2022

Document is current