Auditor product and controller synthesis for non-deterministic transition systems with practical LTL specifications
| Title | Auditor product and controller synthesis for non-deterministic transition systems with practical LTL specifications |
|---|---|
| Author | |
| Year of Publication |
2019
|
| Journal |
IEEE Transactions on Automatic Control
|
| DOI |
10.1109/TAC.2019.2953452
|
| Download citation |