Cite
APA Citation
Dutreix, M., Huh, J., & Coogan, S. (2022). abstraction-based synthesis for stochastic systems with omega-regular objectives. Nonlinear analysis, 45, . http://access.bl.uk/ark:/81055/vdc_100156436030.0x00000c
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Dutreix, M., Huh, J., & Coogan, S. (2022). abstraction-based synthesis for stochastic systems with omega-regular objectives. Nonlinear analysis, 45, . http://access.bl.uk/ark:/81055/vdc_100156436030.0x00000c