Yuxiao Hu, Giuseppe De Giacomo
A Generic Technique for Synthesizing Bounded Finite-State Controllers
Categories
ICAPSInternational Conference on Automated Planning and Scheduling
ICAPSYuxiao Hu, Giuseppe De Giacomo
A Generic Technique for Synthesizing Bounded Finite-State Controllers