Maximally permissive controlled system synthesis for non-determinism and modal logic
Crossref DOI link: https://doi.org/10.1007/s10626-016-0231-8
Published Online: 2016-09-23
Published Print: 2017-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
van Hulst, A. C.
Reniers, M. A.
Fokkink, W. J.
Funding for this research was provided by:
EU FP7 Programme (MEALS) (295261)
License valid from 2016-09-23