Reactive synthesis without regret

DOI10.1007/s00236-016-0268-zzbMath1364.68263arXiv1504.01708OpenAlexW2964263597MaRDI QIDQ520338

Could not fetch data.

Publication date: 3 April 2017

Published in: (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Could not fetch data.