|
|||||
|
|
Practical synthesis of reactive systems from LTL specifications via parity games |
|
| Authors: | Luttenberger Michael Meyer Philipp J. Sickert Salomon |
| Abstract: | Acta Informatica - The synthesis of reactive systems from linear temporal logic (LTL) specifications is an important aspect in the design of reliable software and hardware. We present our adaption... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |