Towards minimal explanations of unsynthesizability for high-level robot behaviors | IEEE Conference Publication | IEEE Xplore