Switching protocol synthesis for temporal logic specifications
| Title | Switching protocol synthesis for temporal logic specifications |
|---|---|
| Author | |
| Year of Publication |
2012
|
| Conference Name |
Switching protocol synthesis for temporal logic specifications
|
| DOI |
10.1109/ACC.2012.6315040
|
| Download citation |