Crossmark

A symbolic algorithm for lazy synthesis of eager strategies

Crossref DOI link: https://doi.org/10.1007/s00236-019-00344-8

Published Online: 2019-10-04

Published Print: 2020-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Jacobs, Swen https://orcid.org/0000-0002-9051-4050
Sakr, Mouhammad https://orcid.org/0000-0002-5160-0327
Funding

Funding for this research was provided by:

Deutsche Forschungsgemeinschaft (JA 2357/2-1)
License Information

Text and Data Mining valid from 2019-10-04

Version of Record valid from 2019-10-04
More Information

Article History

Received: 30 January 2019

Accepted: 24 September 2019

First Online: 4 October 2019