Synthesis of reactive switching protocols from temporal logic specifications
| Title | Synthesis of reactive switching protocols from temporal logic specifications |
|---|---|
| Author | |
| Year of Publication |
2013
|
| Journal |
IEEE Transactions on Automatic Control
|
| Number of Pages |
1771\textendash1785
|
| DOI |
http://dx.doi.org/10.1109/TAC.2013.2246095
|
| Download citation |