|
|||||
|
|
A symbolic algorithm for lazy synthesis of eager strategies |
|
| Authors: | Jacobs Swen Sakr Mouhammad |
| Abstract: | Acta Informatica - We present an algorithm for solving two-player safety games that combines a mixed forward/backward search strategy with a symbolic representation of the state space. By combining... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |