Knowledge-Based Control of Reactive Systems with Multi-Layer Architecture | IEEE Conference Publication | IEEE Xplore